F*

F*

F * je funkcionalni programski jezik sličan ML-u usmjeren na provjeru programa.F * može izraziti precizne specifikacije za programe, uključujući svojstva funkcionalne ispravnosti.Programi napisani na F * mogu se prevesti u OCaml ili F # za izvršenje.
F * (izgovara se F zvijezda) je funkcionalni programski jezik sličan ML-u usmjeren na provjeru programa.Njegov tip tipova uključuje polimorfizam, ovisne tipove, monadičke učinke, vrste usavršavanja i račun najslabijeg preduvjeta.Zajedno, ove značajke omogućuju izražavanje preciznih i kompaktnih specifikacija za programe, uključujući svojstva funkcionalne ispravnosti.Cilj provjere tipa F * pokušava dokazati da programi zadovoljavaju njihove specifikacije pomoću kombinacije SMT rješavanja i ručnih dokaza.Programi napisani na F * mogu se prevesti u OCaml ili F # za izvršenje ....
f-

Web stranica:

Značajke

Kategorije

Alternativa F*u za Mac

F# (programming language)

F# (programming language)

F # je sažet, ekspresivan i učinkovit funkcionalan i objektno orijentiran jezik za .NET koji vam pomaže napisati jednostavan kod za rješavanje složenih problema.
CamDesk

CamDesk

CamDesk je besplatni, open source, desktop widget, koji je stvoren kao aplikacija za nadzor kuće.
Coq

Coq

Coq je pomoćnik u ispitivanju koji vam omogućava da pišete matematičke dokaze strogo i formalno i da ih provjerite na ispravnost na računalu.
OCaml

OCaml

OCaml je industrijski programski jezik snage koji podržava funkcionalne, imperativne i objektno orijentirane stilove.
Isabelle

Isabelle

Isabelle je pomoćnica u pisanju i provjeri matematičkih dokaza pomoću računala.
Agda

Agda

Agda je funkcionalno programski jezik ovisnog tipa.Ima induktivne obitelji, tj. Tipove podataka koji ovise o vrijednostima, poput vrste vektora određene duljine.
Network Security Toolkit

Network Security Toolkit

Ovaj bootable ISO CD / DVD uživo (NST Live) zasnovan je na Fedori.