버그를 찾기 위해 런타임 데이터 구조 불변 검사를 작성하고 싶지만 속도가 느려지지 않습니까? 디토가 도움이 될 것입니다. 이러한 검사를 자동으로 최적화하여 10배 이상 실행됩니다. PLDI 2007 종이 http://www.cs.berkeley.edu/~aj/cs/ditto.pdf
버전 기록
- 버전 N/A 에 게시 2011-08-05
- 버전 ditto%200.1 에 게시 2003-01-22
몇 가지 수정 및 업데이트
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: ditto-java.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows