F*

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:

Alternatywy dla F* dla Windows z bezpłatną licencją