Searching for authors named "Kwangkeun Yi" – sorted by Relevance.
38 documents found, showing 1 through 10.
Next 10 →
-
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
-
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
-
Interconnecting Between CPS Terms and Non-CPS Terms
- …Interconnecting Between CPS Terms and Non-CPS Terms Jung-taek Kim and Kwangkeun Yi y ROPAS z…
- Cited by 2 (0 self) – Add To MetaCart
-
Escape Analysis for Stack Allocation in Java
- …Escape Analysis for Stack Allocation in Java Eun-Sun Cho 1 and Kwangkeun Yi 2 1 eschough…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
