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 alle platforme med enhver licens

F# (programming language)

F# (programming language)

F # er et kortfattet, udtryksfuldt og effektivt funktionelt og objektorienteret sprog til .NET, der hjælper dig med at skrive enkel kode til at løse komplekse problemer.
CamDesk

CamDesk

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

Coq

Coq er en bevisassistent, som giver dig mulighed for at skrive matematiske bevis på en streng og formel måde og få dem kontrolleret for korrektheden ved computeren.
Isabelle

Isabelle

Isabelle er en bevisassistent til at skrive og kontrollere matematiske bevis via computeren.
OCaml

OCaml

OCaml er et industrielt styrket programmeringssprog, der understøtter funktionelle, imperative og objektorienterede stilarter.
Agda

Agda

Agda er et afhængigt typisk funktionelt programmeringssprog.Det har induktive familier, dvs. datatyper, der afhænger af værdier, såsom typen af ​​vektorer med en given længde.
Network Security Toolkit

Network Security Toolkit

Denne startbare ISO live CD / DVD (NST Live) er baseret på Fedora.
Hi Security

Hi Security

Hej sikkerhed er en GRATIS antivirus i verdensklasse, der beskytter din Android-telefon mod alle virusangreb.
Cyberwatch

Cyberwatch

Beskyt dine servere mod IT-sårbarheder. Cyberwatch registrerer dine sårbarheder og udsender automatisk de relevante sikkerhedsrettelser.
get2clouds

get2clouds

Det krypterer dataene to gange ved hjælp af RC4-kryptering og sender dem via et sikkert socketlag (https).Denne ende-til-ende (E2E) -kryptering gør afskærmning eller adgang til dataene umulig af andre end brugeren.
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