العاج هي لغة مضمنة خاصة بالمجال (EDSL) تهدف إلى توفير لغة برمجة على مستوى الأنظمة والتي تزيل بعض المخاطر الشائعة للبرمجة في لغة C، دون التضحية بالتعبيرية.
يتضمن هذا المستودع دليل المستخدم وبعض الأمثلة على برامج Ivory. مزيد من المعلومات والبرامج التعليمية متاحة على ivorylang.org.
تصف الورقة التالية اللغة العاجية:
يرجى ذكر هذه الورقة عند الاستشهاد باللغة.
ivory : تنفيذ اللغة العاجية ومترجمهاivory-backend-c : واجهة خلفية لتجميع برامج Ivory إلى Civory-examples : نماذج من برامج العاجivory-opts : إطار عمل التحسين وبعض تطبيقات التحسين، لـ Ivory AST.ivory-bitdata : مكتبة لغة ماكرو لتحديد عمليات العاج بدقة البت.ivory-hw : مكتبة لغة ماكرو لكتابة برامج تشغيل الأجهزة باللغة العاجية.ivory-model-check : واجهة خلفية للتحقق من برامج العاج باستخدام CVC4 العاج مكتوب بلغة هاسكل ويستخدم العديد من امتدادات GHC الحديثة. ومن المعروف أنه يعمل مع GHC 7.8.* وما فوق.
نوصي حاليًا باستخدام أداة Stack build لحزم اللغة العاجية وأي برامج تستخدمها.
حقوق الطبع والنشر 2013-2015 Galois، Inc.
مرخص بموجب ترخيص BSD المكون من 3 فقرات؛ لا يجوز لك استخدام هذا العمل إلا وفقًا للترخيص. يتم تضمين نسخة من الترخيص في ملف الترخيص.
يلتزم هذا المشروع بمدونة قواعد سلوك ميثاق المساهمين. من خلال المشاركة، يتوقع منك الحفاظ على هذا الرمز. الرجاء الإبلاغ عن السلوك غير المقبول إلى [email protected].
