F*

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

Funkce

Kategorie

Alternativy F* pro Mac

F# (programming language)

F# (programming language)

F # je výstižný, expresivní a efektivní funkční a objektově orientovaný jazyk pro .NET, který vám pomáhá psát jednoduchý kód pro řešení složitých problémů.
CamDesk

CamDesk

CamDesk je bezplatný, open source, desktop webový widget, který byl vytvořen jako domácí sledovací aplikace.
Coq

Coq

Coq je asistent kontroly, který vám umožňuje psát matematické důkazy přísným a formálním způsobem a nechat je zkontrolovat jejich správnost počítačem.
OCaml

OCaml

OCaml je průmyslový programovací jazyk podporující funkční, imperativní a objektově orientované styly.
Isabelle

Isabelle

Isabelle je asistentem při psaní a kontrole matematických důkazů pomocí počítače.
Agda

Agda

Agda je funkčně programovací jazyk závislý na typu.Má induktivní rodiny, tj. Datové typy, které závisí na hodnotách, jako je typ vektorů dané délky.
Network Security Toolkit

Network Security Toolkit

Toto zaváděcí ISO živé CD / DVD (NST Live) je založeno na Fedoře.