 | 다이 옹가능한 불변률의 동적 탐지 구현. |
| 지금 다운로드 | |
다이 옹 순위 및 요약
광고
- 특허:
- Open Software License
- 가격:
- FREE
- 게시자 이름:
- Michael Ernst
- 게시자 웹사이트:
- http://pag.csail.mit.edu/daikon/
다이 옹 태그
다이 옹 설명
가능한 불변률의 동적 탐지 구현. Daikon은 가능한 불변률의 역동적 인 탐지의 구현입니다. 불변자는 "x = 2 * y 5"또는 "this.next.prev =이"또는 "myArray 가이 릴리스의 새로운 기능으로 정렬됩니다 : · KVASIR의 x86-64 호스트 및 C ++ 프로그램에 대한 지원이 개선되었습니다.
다이 옹 관련 소프트웨어
