開發者 ditto-java.sf.net

想要編寫運行時數據結構不變檢查以查找 Bug，但無法忍受減速？迪托會幫忙的它會自動優化此類檢查，以便它們運行速度提高 10 倍或更多。PLDI 2007 紙HTTP：//www.cs.berkeley.edu/~aj/cs/ditto.pdf