Ditto

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 2.7/5 - ‎10 ‎투표

에 대해 Ditto

버그를 찾기 위해 런타임 데이터 구조 불변 검사를 작성하고 싶지만 속도가 느려지지 않습니까? 디토가 도움이 될 것입니다. 이러한 검사를 자동으로 최적화하여 10배 이상 실행됩니다. PLDI 2007 종이 http://www.cs.berkeley.edu/~aj/cs/ditto.pdf