Showing results 1 to 4 of 4
Abstract interpretation of higher-order language using affine equalites = 어파인 등식을 이용한 고차 언어의 요약 해석link Jung, Deok-Hwa; 정덕화; et al, 한국과학기술원, 1999 |
Conformance analysis for context-free languages using abstract interpretation = 요약 해석을 이용한 문맥자유 언어 부합 분석link Kim, Se-Won; 김세원; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2011 |
분석기 생성 시스템 Z2에서 그래픽 사용자 인터페이스의 자동 생성 = Automatic generation of graphic user interface on analyzer generating system Z2link 어현준; Eo, Hyun-Jun; et al, 한국과학기술원, 1998 |
요약된 주소값 기반 메모리 분석 기법 및 이를 이용한 EVM 바이트코드 분석 박지희; 류석영, 정보과학회 컴퓨팅의 실제 논문지, v.26, no.4, pp.217 - 222, 2020-04 |
Discover