F*

F*

F *, program doğrulamayı amaçlayan ML benzeri bir işlevsel programlama dilidir.F *, fonksiyonel doğruluk özellikleri dahil olmak üzere programlar için kesin özellikleri ifade edebilir.F * ile yazılmış programlar yürütme için OCaml veya F # diline çevrilebilir.
F * (belirgin F yıldızı), program doğrulamasına yönelik ML benzeri bir işlevsel programlama dilidir.Tip sistemi, polimorfizm, bağımlı tipler, monadik etkiler, arıtma tipleri ve en zayıf önkoşul hesabını içerir.Bu özellikler birlikte, işlevsel doğruluk özellikleri de dahil olmak üzere programlar için kesin ve kompakt özelliklerin ifade edilmesini sağlar.F * tip kontrolörü, programların SMT çözme ve manuel ispatların bir kombinasyonunu kullanarak özelliklerini karşıladığını kanıtlamayı amaçlamaktadır.F * ile yazılmış programlar yürütme için OCaml veya F # diline çevrilebilir.
f-

İnternet sitesi:

Özellikleri

Kategoriler

Web için F*'a alternatifler

CamDesk

CamDesk

CamDesk, ev gözetim uygulaması olarak oluşturulmuş ücretsiz, açık kaynaklı, masaüstü web kamerası widget'ıdır.
Masked Cache

Masked Cache

Şifrelerin, kullanıcı adlarının, güvenli sertifikaların ve diğer hassas verilerin arkadaşlarınıza ve iş arkadaşlarınıza aktarılmasını sağlayan ücretsiz ve kullanımı kolay web sitesi
  • Ücretsiz
  • Web