Wilt u een runtime data structuur invariant controleren om een bug te vinden, maar kan niet tegen de vertraging? Idem zal helpen. Het optimaliseert automatisch dergelijke controles, zodat ze 10x sneller of meer draaien. PLDI 2007 papier http://www.cs.berkeley.edu/~aj/cs/ditto.pdf
versiegeschiedenis
- Versie N/A geplaatst op 2011-08-05
- Versie ditto%200.1 geplaatst op 2003-01-22
Verschillende oplossingen en updates
Programmadetails
- Categorie: Ontwikkeling > Andere
- Publisher: ditto-java.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows