Ditto

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 2.7/5 - ‎10 ‎Voti

Vuoi scrivere un controllo invariante della struttura dei dati di runtime per trovare un bug, ma non riesci a sopportare il rallentamento? Ditto ti aiuterà. Ottimizza automaticamente tali controlli in modo che vengono eseguiti 10 volte più velocemente o più. Carta PLDI 2007 http://www.cs.berkeley.edu/~aj/cs/ditto.pdf

cronologia delle versioni

  • Versione N/A pubblicato il 2011-08-05
  • Versione ditto%200.1 pubblicato il 2003-01-22
    Diverse correzioni e aggiornamenti

Dettagli del programma