F*

F*

F * je funkčný programovací jazyk typu ML zameraný na overenie programu.F * môže vyjadrovať presné špecifikácie programov vrátane funkčných správnych vlastností.Programy napísané v jazyku F * je možné preložiť do programu OCaml alebo F #.
F * (vyslovená hviezdička F) je funkčný programovací jazyk typu ML zameraný na overenie programu.Jeho typový systém zahŕňa polymorfizmus, závislé typy, monadické efekty, vylepšenia a najslabší počet predpokladov.Tieto funkcie spolu umožňujú vyjadriť presné a kompaktné špecifikácie programov vrátane funkčných správnych vlastností.Cieľom kontroly typu F * je dokázať, že programy spĺňajú ich špecifikácie pomocou kombinácie riešení SMT a manuálnych kontrol.Programy napísané v jazyku F * možno preložiť do programu OCaml alebo F # na vykonanie ....

WebSite:

Vlastnosti

Kategórie

Alternatívy programu F* pre Linux

F# (programming language)

F# (programming language)

F # je výstižný, výrazný a efektívny funkčný a objektovo orientovaný jazyk pre .NET, ktorý vám pomáha písať jednoduchý kód na riešenie zložitých problémov.
CamDesk

CamDesk

CamDesk je bezplatný, otvorený zdroj, widget webovej kamery pre stolné počítače, ktorý bol vytvorený ako domáca sledovacia aplikácia.
Coq

Coq

Coq je asistentom, ktorý vám umožňuje písať matematické dôkazy dôkladným a formálnym spôsobom a nechať ich skontrolovať ich pomocou počítača.
Isabelle

Isabelle

Isabelle je asistentkou pri písaní a kontrole matematických dôkazov pomocou počítača.
OCaml

OCaml

OCaml je priemyselný programovací jazyk podporujúci funkčné, imperatívne a objektovo orientované štýly.
Agda

Agda

Agda je funkčný programovací jazyk závislý od typu.Má induktívne rodiny, tj typy údajov, ktoré závisia od hodnôt, ako je typ vektorov danej dĺžky.
Network Security Toolkit

Network Security Toolkit

Toto bootovacie ISO živé CD / DVD (NST Live) je založené na Fedore.
Cyberwatch

Cyberwatch

Chráňte svoje servery pred zraniteľnosťou IT. Cyberwatch zistí vaše zraniteľné miesta a automaticky nasadí príslušné opravy zabezpečenia.