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 Android

Hi Security

Hi Security

Bok Sigurnost je BESPLATNI antivirus svjetske klase koji štiti vaš Android telefon od svih virusnih napada.
get2clouds

get2clouds

Dvaput šifrira podatke pomoću RC4 enkripcije i šalje ih putem sigurnog sloja utičnice (https).Ta krajnja (E2E) enkripcija onemogućuje presretanje ili pristup podacima bilo tko osim korisnika.