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

WebSite:

Vlastnosti

Kategórie

Alternatívy F* pre všetky platformy s akoukoľvek licenciou

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.
Hi Security

Hi Security

Hi Security je prvotriedny antivírusový program, ktorý chráni telefón s Androidom pred vírusovými útokmi.
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.
get2clouds

get2clouds

Šifruje údaje dvakrát pomocou šifrovania RC4 a odosiela ich prostredníctvom zabezpečenej vrstvy soketu (https).Toto šifrovanie typu end-to-end (E2E) znemožňuje zachytenie alebo prístup k údajom niekým iným ako používateľom.
Masked Cache

Masked Cache

Bezplatný a ľahko použiteľný web, ktorý umožňuje odovzdávanie hesiel, používateľských mien, zabezpečených certifikátov a iných citlivých údajov priateľom a kolegom
  • Bezplatná
  • Web