123
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 Web

CamDesk

CamDesk

CamDesk je bezplatný, otvorený zdroj, widget webovej kamery pre stolné počítače, ktorý bol vytvorený ako domáca sledovacia aplikácia.
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