Ditto

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 2.7/5 - ‎10 ‎Stemmen

Over Ditto

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