ckit 1.0
ckit هو جبهة C اقفالا كتب في SML أن يترجم شفرة المصدر C (بعد تجهيزها) في جملة مجردة ممثلة كمجموعة من أنواع البيانات SML. كما يوفر مرافق لتوسيع لغة C مع البنى النحوية إضافية، والتي يمكن أن تكون مفيدة لتنفيذ اللغات نطاق محدد "C-مثل" وكذلك اللهجات C. يستخدم حاليا Ckit كما الواجهة الأمامية لمجموعة متنوعة من الأدوات لتحليل...