3
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:
https://www.fstar-lang.orgVlastnosti
Kategórie
Alternatívy programu F* pre Android
1
Hi Security
Hi Security je prvotriedny antivírusový program, ktorý chráni telefón s Androidom pred vírusovými útokmi.
- Bezplatná
- Android
0
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.