3
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:
https://www.fstar-lang.orgFunktioner
Kategorier
Alternativer til F* til Android
1
Hi Security
Hej sikkerhed er en GRATIS antivirus i verdensklasse, der beskytter din Android-telefon mod alle virusangreb.
- Gratis
- Android
0
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.