3
F*
F * ist eine ML-ähnliche funktionale Programmiersprache zur Programmverifizierung.F * kann genaue Programmspezifikationen ausdrücken, einschließlich funktioneller Korrektheitseigenschaften.In F * geschriebene Programme können zur Ausführung in OCaml oder F # übersetzt werden.
F * (ausgesprochen F-Stern) ist eine ML-ähnliche funktionale Programmiersprache, die auf die Programmüberprüfung abzielt.Sein Typensystem umfasst Polymorphismus, abhängige Typen, monadische Effekte, Verfeinerungstypen und eine schwächste Voraussetzungskalkulation.Zusammen ermöglichen diese Funktionen das Ausdrücken präziser und kompakter Programmspezifikationen, einschließlich der Eigenschaften der funktionalen Korrektheit.Der F * -Typ-Checker soll durch eine Kombination aus SMT-Lösung und manuellen Proofs nachweisen, dass Programme ihren Spezifikationen entsprechen.In F * geschriebene Programme können zur Ausführung in OCaml oder F # übersetzt werden ....
f-
Webseite:
https://www.fstar-lang.orgEigenschaften
Kategorien
F*-Alternativen für Android
1
Hi Security
Hi Security ist ein KOSTENLOSER Virenschutz von Weltklasse, der Ihr Android-Handy vor allen Virenangriffen schützt.
- Kostenlose
- Android
0
get2clouds
Es verschlüsselt die Daten zweimal mit RC4-Verschlüsselung und sendet sie über eine sichere Socket-Schicht (https).Diese End-to-End-Verschlüsselung (E2E) macht das Abfangen oder den Zugriff auf die Daten nur dem Benutzer möglich.