3
F * (وضوحا F star) هي لغة برمجة وظيفية تشبه ML تهدف إلى التحقق من البرنامج.يشتمل نظام النوع الخاص به على تعدد الأشكال ، والأنواع التابعة ، والآثار الأحادية ، وأنواع التحسين ، وأضعف حساب التفاضل والتكامل المسبق.معًا ، تتيح هذه الميزات التعبير عن المواصفات الدقيقة والمدمجة للبرامج ، بما في ذلك خصائص الصحة الوظيفية.يهدف مدقق النوع F * إلى إثبات أن البرامج تلبي مواصفاتها باستخدام مزيج من SMT لحل الأدلة والبراهين اليدوية.يمكن ترجمة البرامج المكتوبة باللغة F * إلى OCaml أو F # للتنفيذ ....
f-
موقع الكتروني:
https://www.fstar-lang.orgالمميزات
التصنيفات
بدائل لـ F* لنظام التشغيل Android
1
Hi Security
Hi Security عبارة عن مضاد فيروسات مجاني على مستوى عالمي يحمي هاتف Android الخاص بك من جميع هجمات الفيروسات.
- تطبيق مجاني
- Android
0
get2clouds
يقوم بتشفير البيانات مرتين باستخدام تشفير RC4 وإرساله عبر طبقة مقبس آمن (https).يجعل هذا التشفير الشامل (E2E) اعتراض البيانات أو الوصول إليها مستحيلًا من قبل أي شخص آخر غير المستخدم.