F*

F*

F * er et ML-lignende funktionelt programmeringssprog rettet mod programverifikation.F * kan udtrykke præcise specifikationer for programmer, herunder funktionelle korrekthedsegenskaber.Programmer skrevet i F * kan oversættes til OCaml eller F # til udførelse.
F * (udtalt F-stjerne) er et ML-lignende funktionelt programmeringssprog rettet mod programverifikation.Dets typesystem inkluderer polymorfisme, afhængige typer, monadiske effekter, forfiningstyper og en svageste forudsætningsberegning.Sammen giver disse funktioner mulighed for at udtrykke præcise og kompakte specifikationer for programmer, herunder funktionelle korrekthedsegenskaber.F * -checkchecker har til formål at bevise, at programmer opfylder deres specifikationer ved hjælp af en kombination af SMT-løsning og manuelle bevis.Programmer skrevet i F * kan oversættes til OCaml eller F # til eksekvering ....
f-

Internet side:

Funktioner

Kategorier

Alternativer til F* til Web

CamDesk

CamDesk

CamDesk er en gratis open source, desktop-webcam-widget, der blev oprettet som hjemmeovervågningsapplikation.
Masked Cache

Masked Cache

Gratis og brugervenlig webside, der tillader udlevering af adgangskoder, brugernavne, sikre certifikater og andre følsomme data til dine venner og kolleger