3
F*
F * to funkcjonalny język programowania podobny do ML, mający na celu weryfikację programu.F * może wyrażać precyzyjne specyfikacje programów, w tym właściwości poprawności funkcjonalnej.Programy napisane w języku F * mogą zostać przetłumaczone na OCaml lub F # w celu wykonania.
F * (wymawiana gwiazda F) to funkcjonalny język programowania podobny do ML, mający na celu weryfikację programu.Jego system typów obejmuje polimorfizm, typy zależne, efekty monadyczne, typy wyrafinowania i najsłabszy rachunek warunków wstępnych.Razem te funkcje umożliwiają precyzyjne i zwięzłe specyfikacje programów, w tym właściwości poprawności funkcjonalnej.Sprawdzanie typu F * ma na celu udowodnienie, że programy spełniają ich specyfikacje za pomocą kombinacji rozwiązania SMT i ręcznych prób.Programy napisane w F * mogą być przetłumaczone na OCaml lub F # w celu wykonania ....
f-
Stronie internetowej:
https://www.fstar-lang.orgKategorie
Alternatywy dla F* dla Web
5
0
Masked Cache
Darmowa i łatwa w użyciu strona internetowa, która umożliwia przekazywanie haseł, nazw użytkowników, bezpiecznych certyfikatów i innych poufnych danych znajomym i współpracownikom
- Darmowa
- Web
