Showing results 1 to 4 of 4
Compiling high-level specifications of program analyses = 프로그램 분석 명세의 컴파일link Eo, Hyun-Jun; 어현준; et al, 한국과학기술원, 2006 |
Static extensivity analysis for lambda-definable functions over lattices Eo, Hyun-Jun; Yi, Kwang-Keun; Choe, Kwang-Moo, NEW GENERATION COMPUTING, v.24, no.1, pp.53 - 78, 2006 |
SUIF program analysis using System Z2 Kim, Seong-Hoon; Yi, Kwangkeun; Eo, Hyun-Jun; Choe, Kwang-Moo, The SUIF Compiler Workshop, pp.185 - 190, 1997 |
분석기 생성 시스템 Z2에서 그래픽 사용자 인터페이스의 자동 생성 = Automatic generation of graphic user interface on analyzer generating system Z2link 어현준; Eo, Hyun-Jun; et al, 한국과학기술원, 1998 |
Discover