MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Kwangkeun Yi – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

38 documents found, showing 1 through 10. Next 10 →

ATOM

Yet Another Ensemble of Abstract Interpreter, Higher-Order Data-Flow Equations, and Model Checking
by Kwangkeun Yi — 2001 — Technical Memorandum 2001-10, Research on Program Analysis System, National Creative Research Center, Korea Advanced Institute of Science and Technology
… of Abstract Interpreter, Higher-Order Data-Flow Equations, and Model Checking Kwangkeun Yi http…
Cited by 1 (0 self) – Add To MetaCart

Automatic Generation and Management of Program Analyses
by Kwangkeun Yi — 1993
…Automatic Generation and Management of Program Analyses Kwangkeun Yi Department of Computer Science…
Cited by 1 (0 self) – Add To MetaCart

Proof-directed debugging” revisited for a first-order version
by Kwangkeun Yi — 2006 — Appears in the proceedings of POPL 2007
…” Revisited for a First-Order Version Kwangkeun Yi School of Computer Science and Engineering, Seoul National…
Cited by 1 (0 self) – Add To MetaCart

Compile-time Detection of Uncaught Exceptions in Standard ML Programs
by Kwangkeun Yi — 1994 — In Lecture Notes in Computer Science
…Compile-time Detection of Uncaught Exceptions in Standard ML Programs Kwangkeun Yi ? AT&T Bell…
Cited by 28 (4 self) – Add To MetaCart

Exception Analysis for Java
by Kwangkeun Yi And, Kwangkeun Yi — 1999 — Journal of Systems and Software
…Exception Analysis for Java Kwangkeun Yi 1;? and Byeong-Mo Chang 2;?? 1 kwang…
Add To MetaCart

Automatic Generation and Management of Program Analyses
by Kwangkeun Yi Department, Kwangkeun Yi — 1993
…Automatic Generation and Management of Program Analyses Kwangkeun Yi Department of Computer Science…
Add To MetaCart

System Z1 Programming Manual
by Kwangkeun Yi, Luddy Harrison — 1993
…System Z1 Programming Manual 1 Kwangkeun Yi and Luddy Harrison Center for Supercomputing Research…
Add To MetaCart

Z1: A Data Flow Analyzer Generator
by Kwangkeun Yi, Luddy Harrison
…Z1: A Data Flow Analyzer Generator Kwangkeun Yi y University of Illinois Luddy Harrison z…
Add To MetaCart

An improved differential fixpoint iteration method for program analysis
by Hyunjun Eo, Kwangkeun Yi — 2002 — In Proc. of the 3rd Asian Workshop on Programming Language and Systems
…An Improved Differential Fixpoint Iteration Method for Program Analysis ⋆ Hyunjun Eo and Kwangkeun…
Cited by 2 (0 self) – Add To MetaCart

A Generalized Let-Polymorphic Type Inference Algorithm
by Oukseh Lee, Kwangkeun Yi — 2000 — Technical Memorandum ROPAS-2000-5, Research on Program Analysis System, Korea Advanced Institute of Science and Technology
…-Polymorphic Type Inference Algorithm Oukseh Lee and Kwangkeun Yi fcookcu; kwangg@(email omitted); Abstract We…
Cited by 9 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB