3
F*
F * est un langage de programmation fonctionnel de type ML destiné à la vérification de programme.F * peut exprimer des spécifications précises pour les programmes, y compris les propriétés d'exactitude fonctionnelle.Les programmes écrits en F * peuvent être traduits en OCaml ou F # pour exécution.
F * (prononcé F star) est un langage de programmation fonctionnel de type ML destiné à la vérification de programme.Son système de types comprend le polymorphisme, les types dépendants, les effets monadiques, les types de raffinement et un calcul de précondition le plus faible.Ensemble, ces fonctionnalités permettent d'exprimer des spécifications précises et compactes pour les programmes, y compris les propriétés d'exactitude fonctionnelle.Le vérificateur de type F * vise à prouver que les programmes répondent à leurs spécifications en utilisant une combinaison de résolution SMT et d'épreuves manuelles.Les programmes écrits en F * peuvent être traduits en OCaml ou F # pour exécution ....
f-
Site Internet:
https://www.fstar-lang.orgLes catégories
Alternatives à F* pour Android
1
Hi Security
Hi Security est un antivirus GRATUIT de classe mondiale protégeant votre téléphone Android de toutes les attaques de virus.
- Gratuite
- Android
0
get2clouds
Il crypte les données deux fois à l'aide du cryptage RC4 et les envoie via une couche de socket sécurisée (https).Ce cryptage de bout en bout (E2E) rend l'interception ou l'accès aux données impossible par quiconque autre que l'utilisateur.
