3
F * (izgovarja se zvezda F) je ML podoben funkcionalni programski jezik, namenjen preverjanju programa.Njegov tipni sistem vključuje polimorfizem, odvisne vrste, monadične učinke, vrste izpopolnjevanja in najšibkejši predpogoj.Te funkcije skupaj omogočajo izražanje natančnih in kompaktnih specifikacij za programe, vključno z lastnostmi funkcionalne korektnosti.Cilj preverjanja tipa F * je dokazati, da programi izpolnjujejo njihove specifikacije z uporabo kombinacije reševanja SMT in ročnih dokazov.Programe, napisane v F *, lahko za izvedbo prevedemo v OCaml ali F #.
f-
Spletna stran:
https://www.fstar-lang.orgLastnosti
Kategorije
Alternativa F*u za Windows
17
F# (programming language)
F # je jedrnat, ekspresiven in učinkovit funkcijski in objektno usmerjen jezik za .NET, ki vam pomaga napisati preprosto kodo za reševanje zapletenih težav.
5
4
3
3
2
1
Network Security Toolkit
Ta zagonski ISO v živo / CD / DVD (NST Live) temelji na Fedori.
0
Cyberwatch
Zaščitite svoje strežnike pred IT ranljivostmi. Cyberwatch zazna vaše ranljivosti in samodejno odpravi ustrezne varnostne popravke.
0
get2clouds
Podatke dvakrat šifrira s šifriranjem RC4 in jih pošlje prek varne vtičnice (https).Ta šifriranje od konca do konca (E2E) onemogoča prestrezanje ali dostop do podatkov nihče drug kot uporabnik.