![](/statics/img/blank.png)
Ditto
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 2.7/5 - 10 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa Ditto
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