F*

F * هي لغة برمجة وظيفية تشبه ML تهدف إلى التحقق من البرنامج.يمكن لـ F * التعبير عن مواصفات دقيقة للبرامج ، بما في ذلك خصائص الصحة الوظيفية.يمكن ترجمة البرامج المكتوبة باللغة F * إلى OCaml أو F # للتنفيذ.

تطبيق مجاني
Web
Windows
Mac
Linux

F * (وضوحا F star) هي لغة برمجة وظيفية تشبه ML تهدف إلى التحقق من البرنامج.يشتمل نظام النوع الخاص به على تعدد الأشكال ، والأنواع التابعة ، والآثار الأحادية ، وأنواع التحسين ، وأضعف حساب التفاضل والتكامل المسبق.معًا ، تتيح هذه الميزات التعبير عن المواصفات الدقيقة والمدمجة للبرامج ، بما في ذلك خصائص الصحة الوظيفية.يهدف مدقق النوع F * إلى إثبات أن البرامج تلبي مواصفاتها باستخدام مزيج من SMT لحل الأدلة والبراهين اليدوية.يمكن ترجمة البرامج المكتوبة باللغة F * إلى OCaml أو F # للتنفيذ ....

موقع الكتروني:

https://www.fstar-lang.org

المميزات

التصنيفات

بدائل لـ F* لنظام التشغيل Windows Server 2008 R2 مع ترخيص تجاري

Cyberwatch

حماية الخوادم من نقاط الضعف في تكنولوجيا المعلومات. تكتشف Cyberwatch نقاط الضعف لديك وتصدر تلقائيًا إصلاحات الأمان المناسبة.