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:

cechy

Kategorie

Alternatywy dla F* dla Mac

F# (programming language)

F# (programming language)

F # jest zwięzłym, ekspresyjnym i wydajnym językiem funkcjonalnym i obiektowym dla platformy .NET, który pomaga pisać proste kody do rozwiązywania złożonych problemów.
CamDesk

CamDesk

CamDesk to darmowy, open source, stacjonarny widget kamery internetowej, który został stworzony jako aplikacja do nadzoru w domu.
Coq

Coq

Coq jest asystentem dowodów, który pozwala pisać matematyczne dowody w sposób rygorystyczny i formalny oraz sprawdzać poprawność przez komputer.
OCaml

OCaml

OCaml jest językiem programowania siły przemysłowej, obsługującym style funkcjonalne, imperatywne i obiektowe.
Isabelle

Isabelle

Isabelle jest asystentką do pisania i sprawdzania matematycznych dowodów komputerowych.
Agda

Agda

Agda jest funkcjonalnym językiem programowania o typie zależnym.Ma rodziny indukcyjne, tj. Typy danych, które zależą od wartości, takie jak typ wektorów o danej długości.
Network Security Toolkit

Network Security Toolkit

Ta bootowalna płyta CD / DVD na żywo ISO (NST Live) jest oparta na Fedorze.