ciaopp
1.0.0
CIAOPP เป็นกรอบโปรเซสเซอร์โปรแกรมสำหรับ CIAO CIAOPP ดำเนินการแก้ไขข้อบกพร่องของโปรแกรมการวิเคราะห์และงานการแปลงแหล่งที่มาถึงแหล่งที่มา:
การอนุมานของคุณสมบัติ ของเพรดิเคตและตัวอักษรของโปรแกรม ( ประเภท โหมด และคุณสมบัติ การสร้างอินสแตนซ์ตัวแปร อื่น ๆ , การไม่ล้มเหลว , การกำหนด , ขอบเขตของ ต้นทุนการคำนวณ , ขอบเขตของ ขนาดของคำศัพท์ ในโปรแกรม ฯลฯ )
การดีบัก และ การตรวจสอบ แบบคงที่บางชนิดค้นหาข้อผิดพลาดก่อนที่จะเรียกใช้โปรแกรม ซึ่งรวมถึงการตรวจสอบวิธีการที่โปรแกรมการโทรของระบบไลบรารีระบบและ ตรวจสอบการยืนยัน ที่มีอยู่ในโปรแกรมหรือในโมดูลอื่น ๆ ที่ใช้โดยโปรแกรม การยืนยันดังกล่าวเป็นตัวแทนของ ข้อกำหนด บางส่วนของโปรแกรม
แหล่งที่มาหลายประเภทไปยัง การแปลงโปรแกรมแหล่ง ที่ มาเช่น ความเชี่ยวชาญของโปรแกรม การ หั่นการประเมินบางส่วนการ ทำให้ โปรแกรม ขนานของโปรแกรม
ข้อมูลที่สร้างขึ้นโดยการวิเคราะห์และการยืนยันในข้อกำหนดทั้งหมดถูกเขียนใน ภาษายืนยัน เดียวกันซึ่งถูกใช้โดยเครื่องกำเนิดเอกสารระบบ CIAO, lpdoc
ที่เก็บนี้มีกรอบการประมวลผลล่วงหน้าทั่วไปพร้อมกับการวิเคราะห์ขั้นพื้นฐานการแปลงและการสนับสนุนภาษา คุณสมบัติอื่น ๆ (รวมถึงการสนับสนุนสำหรับภาษาการเขียนโปรแกรมที่หลากหลาย) มีการแจกจ่ายเป็นกลุ่มแยกต่างหาก
CIAOPP มีการแจกจ่ายภายใต้ใบอนุญาตสาธารณะ GNU ทั่วไป
โดยค่าเริ่มต้น CIAO จะตรวจจับและสร้าง CIAOPP ในระหว่างการรวบรวมระบบ ในการปรับแต่งตัวเลือกการกำหนดค่าเริ่มต้นโปรดดูคำแนะนำการติดตั้ง CIAO
เป็นไปได้ที่จะทำการสร้างและติดตั้ง CIAOPP แยกต่างหากด้วยคำสั่งต่อไปนี้:
$ ciao get ciaopp
