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.

Besplatna
Web
Windows
Mac
Linux

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 ....

Web stranica:

https://www.fstar-lang.org

Značajke

Kategorije

Alternativa F*u za Web

CamDesk

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

Besplatna
Windows
Mac
Linux
Chrome OS
Web

Masked Cache

Besplatno i jednostavno za upotrebu web mjesto koje omogućuje predaju zaporki, korisničkih imena, sigurnih certifikata i drugih osjetljivih podataka svojim prijateljima i kolegama

Besplatna
Web