Dminor
Aide à la vérification du code durant la compilation
Éditeur :
Microsoft research
Note
Présentation de Dminor par Telecharger.com
Dminor propose un langage de modélisation de données basé sur le langage M de Microsoft Oslo. Dminor étends le temps de compilation afin de vérifier plus précisément le code. Pour ce faire, il fait usage d'un solveur SMT (Satisfability Modulo Theories). A noter que Dminor fonctionne en mode ligne de commande dans une console Dos sous Windows.
Publicité
Caractéristiques
Version | 0.1.1 |
Dernière mise à jour | 10/03/2016 |
Licence | Gratuit |
Taille | 4.60 Mo |
Systèmes d'exploitation | Windows XP/Vista/7/8/8.1/10 |
Langue | Anglais |
Télécharger Dminor
Toutes les plateformes compatibles :
Windows XP/Vista/7/8/8.1/10Les alternatives à Dminor
Les autres logiciels de Microsoft research
Cloud Services SDK for Windows Phone 7
SDK destiné à la création d'applications pour Windows Phone 7 orientées Cloud…
Collage
Outil de présentation pour l'enseignement
Cliplets
Créez des "cliplets", ces gifs animés mêlant des éléments statiques et dynamiques
PhyloDet
Analyse graphique de l'évolution des arbres selon leurs espèces