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 Android
1
Hi Security
Hi Security to światowej klasy BEZPŁATNY program antywirusowy chroniący telefon z Androidem przed wszystkimi atakami wirusów.
- Darmowa
- Android
0
get2clouds
Dwukrotnie szyfruje dane przy użyciu szyfrowania RC4 i wysyła je za pośrednictwem bezpiecznej warstwy gniazdowej (https).To szyfrowanie typu end-to-end (E2E) uniemożliwia przechwycenie lub dostęp do danych przez osobę inną niż użytkownik.