123
F*

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

Site Internet:

traits

Les catégories

Alternatives à F* pour toutes les plateformes avec n'importe quelle licence

F# (programming language)

F# (programming language)

F # est un langage fonctionnel et orienté objet succinct, expressif et efficace pour .NET qui vous aide à écrire du code simple pour résoudre des problèmes complexes.
CamDesk

CamDesk

CamDesk est un widget webcam gratuit et open source, créé comme application de surveillance à domicile.
Coq

Coq

Coq est un assistant de preuve, qui vous permet d'écrire des preuves mathématiques de manière rigoureuse et formelle, et de les faire vérifier par l'ordinateur.
Isabelle

Isabelle

Isabelle est assistante d'épreuves pour la rédaction et la vérification d'épreuves mathématiques par ordinateur.
OCaml

OCaml

OCaml est un langage de programmation de puissance industrielle prenant en charge les styles fonctionnels, impératifs et orientés objet.
Agda

Agda

Agda est un langage de programmation fonctionnel typé de manière dépendante.Il a des familles inductives, c'est-à-dire des types de données qui dépendent de valeurs, comme le type de vecteurs d'une longueur donnée.
Network Security Toolkit

Network Security Toolkit

Ce CD / DVD ISO de démarrage (NST Live) est basé sur Fedora.
Hi Security

Hi Security

Hi Security est un antivirus GRATUIT de classe mondiale protégeant votre téléphone Android de toutes les attaques de virus.
Cyberwatch

Cyberwatch

Protégez vos serveurs des vulnérabilités informatiques: Cyberwatch détecte vos vulnérabilités et déploie automatiquement les correctifs de sécurité appropriés.
get2clouds

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.
Masked Cache

Masked Cache

Site Web gratuit et facile à utiliser qui permet de transmettre des mots de passe, des noms d'utilisateur, des certificats sécurisés et d'autres données sensibles à vos amis et collègues