F*

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:

ciri-ciri

Kategori

Alternatif untuk F* untuk Windows

F# (programming language)

F# (programming language)

F # adalah bahasa ringkas dan ekspresif yang berfungsi dan berorientasikan objek untuk NET yang membantu anda menulis kod mudah untuk menyelesaikan masalah yang rumit.
CamDesk

CamDesk

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

Coq

Coq adalah pembantu bukti, yang membolehkan anda menulis bukti matematik dengan cara yang ketat dan formal, dan memaklumkan kepada mereka kebenaran oleh komputer.
Isabelle

Isabelle

Isabelle adalah pembantu bukti untuk menulis dan menyemak bukti matematik oleh komputer.
OCaml

OCaml

OCaml adalah bahasa pengaturcaraan kekuatan industri yang menyokong gaya fungsional, penting dan berorientasikan objek.
Agda

Agda

Agda adalah bahasa pengaturcaraan fungsian yang ditaip.Ia mempunyai keluarga induktif, iaitu, jenis data yang bergantung pada nilai, seperti jenis vektor panjang yang diberikan.
Network Security Toolkit

Network Security Toolkit

CD / DVD hidup bootable ISO (NST Live) ini berdasarkan Fedora.
Cyberwatch

Cyberwatch

Lindungi pelayan anda dari kelemahan IT.Cyberwatch mengesan kelemahan anda dan mengalihkan secara automatik pembaikan keselamatan yang sesuai.
get2clouds

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.