3
F * (vyslovená hvězdička F) je funkční programovací jazyk typu ML zaměřený na ověření programu.Jeho typový systém zahrnuje polymorfismus, závislé typy, monadické efekty, zdokonalené typy a nejslabší počet předpokladů.Tyto funkce společně umožňují vyjádření přesných a kompaktních specifikací programů, včetně vlastností funkční korektnosti.Cílem kontroly typu F * je prokázat, že programy splňují jejich specifikace pomocí kombinace řešení SMT a manuálních důkazů.Programy napsané v F * mohou být přeloženy do OCaml nebo F # pro provedení ....
f-
Webová stránka:
https://www.fstar-lang.orgFunkce
Kategorie
Alternativy F* pro Web
5
0
Masked Cache
Zdarma a snadno použitelný web, který umožňuje předávání hesel, uživatelských jmen, zabezpečených certifikátů a dalších citlivých údajů přátelům a kolegům
- Zdarma
- Web