开发者 ditto-java.sf.net

想要编写运行时数据结构不变检查以查找 Bug，但无法忍受减速？迪托会帮忙的它会自动优化此类检查，以便它们运行速度提高 10 倍或更多。PLDI 2007 纸http://www.cs.berkeley.edu/~aj/cs/ditto.pdf