Ivory เป็นภาษาเฉพาะโดเมนแบบฝัง (EDSL) ซึ่งมีจุดมุ่งหมายเพื่อจัดเตรียมภาษาการเขียนโปรแกรมระดับระบบที่ขจัดข้อผิดพลาดทั่วไปบางประการของการเขียนโปรแกรมในภาษา C โดยไม่สูญเสียการแสดงออก
พื้นที่เก็บข้อมูลนี้มีคู่มือผู้ใช้และตัวอย่างโปรแกรม Ivory ข้อมูลเพิ่มเติมและบทช่วยสอนมีอยู่ที่ ivorylang.org
บทความต่อไปนี้อธิบายภาษางาช้าง:
โปรดอ้างอิงบทความนี้เมื่ออ้างอิงภาษา
ivory : การใช้ภาษางาช้างและล่ามivory-backend-c : แบ็กเอนด์สำหรับรวบรวมโปรแกรม Ivory เป็น Civory-examples : ตัวอย่างโปรแกรม Ivoryivory-opts : กรอบงานการปรับให้เหมาะสมและการใช้งานการปรับให้เหมาะสมบางส่วนสำหรับ Ivory ASTivory-bitdata : ไลบรารีภาษาแมโครสำหรับระบุการดำเนินการ Ivory ที่แม่นยำระดับบิตivory-hw : ไลบรารีภาษาแมโครสำหรับการเขียนไดรเวอร์ฮาร์ดแวร์ใน Ivoryivory-model-check : แบ็กเอนด์สำหรับตรวจสอบโปรแกรม Ivory ด้วย CVC4 Ivory เขียนด้วยภาษา Haskell และใช้ส่วนขยาย GHC ล่าสุดหลายรายการ เป็นที่ทราบกันว่าทำงานร่วมกับ GHC 7.8.* และสูงกว่าได้
ขณะนี้เราขอแนะนำให้ใช้เครื่องมือสร้างสแต็กสำหรับแพ็คเกจภาษา Ivory และโปรแกรมอื่นๆ ที่ใช้งาน
ลิขสิทธิ์ 2013-2015 Galois, Inc.
ได้รับอนุญาตภายใต้ใบอนุญาต BSD 3-Clause; คุณไม่สามารถใช้งานนี้ได้เว้นแต่จะเป็นไปตามใบอนุญาต สำเนาใบอนุญาตจะรวมอยู่ในไฟล์ใบอนุญาต
โครงการนี้ปฏิบัติตามหลักจรรยาบรรณของผู้ร่วมให้ข้อมูล ในการเข้าร่วม คุณจะต้องรักษารหัสนี้ กรุณารายงานพฤติกรรมที่ไม่สามารถยอมรับได้ที่ [email protected]
