3
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.
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.orgciri-ciri
Kategori
Alternatif untuk F* untuk Android
1
Hi Security
Hi Security adalah antivirus PERCUMA bertaraf dunia yang melindungi telefon Android anda dari semua serangan virus.
- Percuma
- Android
0
get2clouds
Ia menyulitkan data dua kali menggunakan penyulitan RC4 dan menghantarnya melalui lapisan soket yang selamat (https).Penyulitan end-to-end (E2E) ini membuat pemintasan atau akses ke data yang mungkin oleh orang lain selain daripada pengguna.