Searching for authors named Kwangkeun Yi – sorted by Relevance.
-
Yet Another Ensemble of Abstract Interpreter, Higher-Order Data-Flow Equations, and Model Checking
- 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
- 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
- ” 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
- 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
- Exception Analysis for Java Kwangkeun Yi 1;? and Byeong-Mo Chang 2;?? 1 kwang
- Add To MetaCart
-
Automatic Generation and Management of Program Analyses
- Automatic Generation and Management of Program Analyses Kwangkeun Yi Department of Computer Science
- Add To MetaCart
-
System Z1 Programming Manual
- System Z1 Programming Manual 1 Kwangkeun Yi and Luddy Harrison Center for Supercomputing Research
- Add To MetaCart
-
Z1: A Data Flow Analyzer Generator
- 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
- 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
- -Polymorphic Type Inference Algorithm Oukseh Lee and Kwangkeun Yi fcookcu; kwangg@(email omitted); Abstract We
- Cited by 9 (0 self) – Add To MetaCart

