Showing results 1 to 2 of 2
Abstract interpretation of higher-order language using affine equalites = 어파인 등식을 이용한 고차 언어의 요약 해석link Jung, Deok-Hwa; 정덕화; et al, 한국과학기술원, 1999 |
분석기 생성 시스템 Z2에서 그래픽 사용자 인터페이스의 자동 생성 = Automatic generation of graphic user interface on analyzer generating system Z2link 어현준; Eo, Hyun-Jun; et al, 한국과학기술원, 1998 |
Discover