123
F*

F*

F * är ett ML-liknande funktionellt programmeringsspråk som syftar till programverifiering.F * kan uttrycka exakta specifikationer för program, inklusive funktionella korrekthetsegenskaper.Program skrivna i F * kan översättas till OCaml eller F # för exekvering.
F * (uttalad F-stjärna) är ett ML-liknande funktionellt programmeringsspråk som syftar till programverifiering.Dess typsystem innefattar polymorfism, beroende typer, monadiska effekter, förädlingstyper och en svagaste förutsättningskalkyl.Tillsammans tillåter dessa funktioner uttryckliga och kompakta specifikationer för program, inklusive funktionella korrekthetsegenskaper.Typkontrollen F * syftar till att bevisa att program uppfyller deras specifikationer med en kombination av SMT-lösning och manuella bevis.Program skrivna i F * kan översättas till OCaml eller F # för exekvering ....

Hemsida:

Funktioner

kategorier

Alternativ till F* för Android

Hi Security

Hi Security

Hej säkerhet är ett GRATIS antivirusklasse i världsklass som skyddar din Android-telefon från alla virusattacker.
get2clouds

get2clouds

Den krypterar uppgifterna två gånger med RC4-kryptering och skickar dem via ett säkert sockellag (https).Denna end-to-end-kodning (E2E) gör att någon annan än användaren kan avlyssna eller komma åt informationen.