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
Cliplets
Créez des "cliplets", ces gifs animés mêlant des éléments statiques et dynamiques
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
PhyloDet
Analyse graphique de l'évolution des arbres selon leurs espèces