Vous voulez écrire une vérification invariante de la structure de temps d’exécution pour trouver un bogue, mais ne supporte pas le ralentissement ? Idem aidera. Il optimise automatiquement ces contrôles de sorte qu’ils fonctionnent 10x plus rapidement ou plus. PLDI 2007 papier http://www.cs.berkeley.edu/~aj/cs/ditto.pdf
historique de la version
- Version N/A posté sur 2011-08-05
- Version ditto%200.1 posté sur 2003-01-22
Plusieurs correctifs et mises à jour
Détails du programme
- Catégorie: Développement > Autres
- Éditeur: ditto-java.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: windows