Ditto

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 2.7/5 - ‎10 ‎Votes

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