Search
Results 1-8 of 8 (Search time: 0.006 seconds).
| NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
|---|---|
| 일반화된 Let-다형성 타입 유추 알고리즘 이욱세; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.28, no.1, pp.73 - 89, 2001-01 | |
| 주어진 프로그램에서 예외상황을 발생시키는 테스트 데이타 생성 방법 (심사중) 류석영; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.4, pp.342 - 356, 2000-04 | |
| 효과 타입 시스템을 이용한 기계어 코드의 검증 정재윤; 류석영; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.8, pp.886 - 901, 2000-08 | |
| 하향식 타입유추 알고리즘 M의 속성 증명 이욱세; 이광근, 정보과학회논문지(B), v.25, no.8, pp.1281 - 1292, 1998-08 | |
| Let-다형성 타입 유추 알고리즘 M의 병목을 해소하기 위한 혼성 알고리즘 H 주상현; 이욱세; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.12, pp.1227 - 1237, 2000-12 | |
| 실행시간 전문화를 위한 집합 기반 분석의 준비 어현준; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.9, pp.986 - 1002, 2000-09 | |
| Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을효과적으로 예측하는 방법 류석영; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.24, no.11, pp.1267 - 1283, 1997 | |
| 예외상황분석을 이용한 계산과정 전달 변환 김정택; 이광근, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.3, pp.275 - 289, 2000-03 |