Dafny Une langue de programmation assez nouvelle pour les développeurs toujours à la recherche de quelque chose de nouveau ...
Télécharger maintenant

Dafny Classement & Résumé

Dafny Mots clés

langage de programmation code Langue Vérificateur langue de code vérificateur de programme

Dafny La description

Dafny fournira aux développeurs un langage de programmation aux côtés d'un vérificateur de programme. Avec Dafny, lorsque vous tapez votre programme, le vérificateur s'assure que votre code est sans erreur. Dafny elle-même dessine de multiples morceaux d'influence de: · Euclid (de la mentalité d'une conception d'une langue dont les programmes doivent être vérifiés) · Eiffel (comme les fonctionnalités contractuelles intégrées) · CLU (comme ses itérateurs et une impuissance pour la syntaxe du paramètre) · Java et C # (comme les classes, bien que Dafny ne prend pas en charge le sous-classement) · ML (comme le système de module, ainsi que ses fonctions et ses types de données inductifs, mais Dafny ne prend pas en charge les fonctionnalités d'ordre supérieur) · Coq (comme la capacité d'inclure des types de données co-inductifs et de pouvoir écrire des preuves inductives et co-inductives)

Dafny Logiciels associés