비주얼 자바 클래스파일 브라우저

자바가상기계 프로파일러의 설계 및 구현

자바 시뮬레이터

칠언어에 대한 제어흐름 표시방법

칠 언어에 대한 위험한 제어이동 탐지 방법

칠에서의 초기화되지 않은 이름의 발견

칠에서의 프로시저/프로세스 호출시 매개변수의 모드검사 방법