DSpace at KOASAS
Browsing DSpace

Browse by Subject type system

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 4 of 4

1
(A) bottom-up pointer analysis using the update history = 업데이트 기록에 기반한 상향방식 포인터 분석link

Kang, Hyun-Goo; 강현구; et al, 한국과학기술원, 2009

2
Proofs of a set of hybrid let-polymorphic type inference algorithms

Eo, H; Lee, O; Yi, KK, NEW GENERATION COMPUTING, v.22, no.1, pp.1 - 36, 2004

3
Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명link

Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011

4
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

rss_1.0 rss_2.0 atom_1.0