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 Android

Hi Security

Hi Security

Hi Security je prvotřídní antivirový program chránící váš telefon Android před všemi virovými útoky.
get2clouds

get2clouds

Šifruje data dvakrát pomocí šifrování RC4 a odešle je přes zabezpečenou vrstvu soketu (https).Toto šifrování typu end-to-end (E2E) znemožňuje zachycení nebo přístup k datům kdokoli jiný než uživatel.