Showing results 1 to 2 of 2
Conformance analysis for context-free languages using abstract interpretation = 요약 해석을 이용한 문맥자유 언어 부합 분석link Kim, Se-Won; 김세원; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2011 |
요약해석을 이용한 HTML 문서 생성 PHP 프로그램 문자열 분석 = String analysis for HTML document generating PHP program using abstract interpretationlink 최재준; Choi, Jae-Jun; et al, 한국과학기술원, 2012 |
Discover