الصفحة الرئيسية>المتعلقة بالبرمجة>كود مصدر C#
تنزيل

compcert

برنامج التحويل البرمجي C المُقدّر رسميًا.

ملخص

برنامج التحويل البرمجي Compcert C هو برنامج مترجم لمجموعة فرعية كبيرة من لغة البرمجة C التي تنشئ رمزًا لمعالجات PowerPC و ARM و X86 و RISC-V.

تتمثل الميزة المميزة لـ Compcert في أنه تم التحقق منها رسميًا باستخدام مساعد Proof CoQ: يتم ضمان رمز التجميع الذي تم إنشاؤه رسميًا للتصرف على النحو المنصوص عليه في دلالات رمز المصدر C.

لمزيد من المعلومات حول Compcert (المنصات المدعومة ، ميزات C المدعومة ، تعليمات التثبيت ، باستخدام المترجم ، إلخ) ، يرجى الرجوع إلى موقع الويب وخاصة دليل المستخدم.

رخصة

Compcert ليس برنامجًا مجانيًا. لا يمكن استخدام هذا الإصدار غير التجاري إلا للتقييم والبحث والأغراض التعليمية والشخصية. يمكن شراء نسخة تجارية من Compcert ، بدون هذا التقييد وبدعم مهني وميزات إضافية ، من Absint. راجع LICENSE الملف لمزيد من المعلومات.

حقوق الطبع والنشر

برنامج التحويل البرمجي Compcert هو معهد حقوق الطبع والنشر الوطنية de recherche en Informatique et en Automatique (INRIA) و absint angewandte informatik gmbh.

اتصال

تجري المناقشات العامة على Compcert على القائمة البريدية [email protected].

للاستفسارات في الإصدار التجاري من Compcert ، يرجى الاتصال [email protected]

يوسع
معلومات إضافية
تطبيقات ذات صلة
نوصي لك
أخبار ذات صلة الكل