Showing results 1 to 3 of 3
Conformance analysis for context-free languages using abstract interpretation = 요약 해석을 이용한 문맥자유 언어 부합 분석link Kim, Se-Won; 김세원; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2011 |
Exception analysis for languages with exceptions = 프로그램 실행 중 처리되지 않는 예외상황을 예측하는 방법link Ryu, Suk-Young; 류석영; et al, 한국과학기술원, 2001 |
Recursive types in object-oriented languages = 객체 지향 언어에서 재귀 타입 지원link Na, Hyunik; 나현익; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2013 |
Discover