Programma's van ditto-java.sf.net

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