F*

F * adalah bahasa pengaturcaraan berfungsi seperti ML yang bertujuan untuk pengesahan program.F * boleh menyatakan spesifikasi yang tepat untuk program, termasuk sifat ketepatan fungsian.Program yang ditulis dalam F * boleh diterjemahkan ke OCaml atau F # untuk pelaksanaan.

Percuma
Web
Windows
Mac
Linux

F * (diucapkan F star) adalah bahasa pengaturcaraan berfungsi seperti ML yang bertujuan untuk pengesahan program.Sistem jenisnya termasuk polimorfisme, jenis bergantung, kesan monadik, jenis penghalusan, dan kalkulus prasyarat yang paling lemah.Bersama-sama, ciri-ciri ini membolehkan mengekspresikan spesifikasi yang tepat dan kompak untuk program, termasuk sifat ketepatan fungsian.Pemeriksa jenis F * bertujuan untuk membuktikan bahawa program memenuhi spesifikasi mereka menggunakan gabungan penyelesaian SMT dan bukti manual.Program yang ditulis dalam F * boleh diterjemahkan ke OCaml atau F # untuk pelaksanaan ....

WebSite:

https://www.fstar-lang.org

ciri-ciri

Kategori

Alternatif untuk F* untuk Web

CamDesk

CamDesk adalah widget percuma, sumber terbuka, widget webcam desktop, yang telah dibuat sebagai aplikasi pengawasan rumah.

Masked Cache

Laman web yang bebas dan mudah digunakan yang membolehkan penyerahan kata laluan, nama pengguna, sijil selamat, dan data sensitif yang lain kepada rakan dan rakan sekerja anda

Percuma
Web