Showing results 1 to 2 of 2
(A) bottom-up pointer analysis using the update history = 업데이트 기록에 기반한 상향방식 포인터 분석link Kang, Hyun-Goo; 강현구; et al, 한국과학기술원, 2009 |
(An) explicit polymorphic type system for verifying untrusted low-level codes = 복합형 타입시스템을 이용한 기계어 코드의 검증link Chung, Jae-Youn; 정재윤; et al, 한국과학기술원, 2000 |
Discover