F*

F * je funkční programovací jazyk typu ML zaměřený na ověření programu.F * může vyjadřovat přesné specifikace programů, včetně funkčních vlastností správnosti.Programy napsané v F * mohou být přeloženy do OCaml nebo F # pro provedení.

Zdarma
Web
Windows
Mac
Linux

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í ....

Webová stránka:

https://www.fstar-lang.org

Funkce

Kategorie

Alternativy F* pro Windows Server 2012

Cyberwatch

Chraňte své servery před zranitelností IT. Cyberwatch zjistí vaše zranitelnosti a automaticky nasadí příslušné opravy zabezpečení.