Showing results 1 to 3 of 3
Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을효과적으로 예측하는 방법 류석영; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.24, no.11, pp.1267 - 1283, 1997 |
주어진 프로그램에서 예외상황을 발생시키는 테스트 데이타 생성 방법 (심사중) 류석영; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.4, pp.342 - 356, 2000-04 |
효과 타입 시스템을 이용한 기계어 코드의 검증 정재윤; 류석영; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.8, pp.886 - 901, 2000-08 |
Discover