Showing results 1 to 2 of 2
A bottom-up pointer analysis using the update history Kang, Hyun-Goo; Han, Taisook, INFORMATION AND SOFTWARE TECHNOLOGY, v.51, no.4, pp.691 - 707, 2009-04 |
(An) explicit polymorphic type system for verifying untrusted low-level codes = 복합형 타입시스템을 이용한 기계어 코드의 검증link Chung, Jae-Youn; 정재윤; et al, 한국과학기술원, 2000 |
Discover