Showing results 1 to 3 of 3
(A) bottom-up pointer analysis using the update history = 업데이트 기록에 기반한 상향방식 포인터 분석link Kang, Hyun-Goo; 강현구; et al, 한국과학기술원, 2009 |
Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명link Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011 |
Static Insertion of Safe and Effective Memory Reuse Commands into ML-like Programs Lee, O; Yang, Hongseok; Yi, K, SCIENCE OF COMPUTER PROGRAMMING, v.58, no.1-2, pp.141 - 178, 2005-10 |
Discover