Showing results 1 to 3 of 3
(An) LR(k) and LL(k) parsing framework: abstract interpretation approach = LR(k) 및 LL(k) 구문분석 프레임웍에 대한 요약해석적 접근link O, Seung-Hwan; 오승환; et al, 한국과학기술원, 2006 |
Off-line slicing of abstract interpretation results for automatic construction of economical program proofs = 요약해석 결과의 오프라인 가지치기를 이용한 프로그램 증명의 경제적인 자동 생성link Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2007 |
요약해석을 이용한 HTML 문서 생성 PHP 프로그램 문자열 분석 = String analysis for HTML document generating PHP program using abstract interpretationlink 최재준; Choi, Jae-Jun; et al, 한국과학기술원, 2012 |
Discover