Searching for authors named "Oukseh Lee" – sorted by Relevance.
-
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
-
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
- Proofs about a Folklore Let-Polymorphic Type Inference Algorithm OUKSEH LEE and KWANGKEUN YI Korea
- Cited by 46 (1 self) – Add To MetaCart
-
Review and Analysis
- ∗ ABSTRACT Oukseh Lee Dept. of Computer Science & Engineering † Hanyang University, Korea oukseh
- Cited by 13 (0 self) – Add To MetaCart
-
Inserting Safe Memory Reuse Commands into ML-like Programs
- Inserting Safe Memory Reuse Commands into ML-like Programs ? Oukseh Lee, Hongseok Yang
- Cited by 4 (2 self) – Add To MetaCart
-
2002): Enterprise JavaBeans Specification. Version 2.1. Proposed Final Draft http://java.sun.com/products/ejb/docs.html
- Let-Polymorphic Type Inference Algorithms ∗1 Hyunjun EO and Oukseh LEE Research On Program Analysis
- Cited by 2 (0 self) – Add To MetaCart
-
Automatic verification of pointer programs using grammar-based shape analysis
- Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis ⋆ Oukseh Lee 1
- Cited by 32 (4 self) – Add To MetaCart
-
Scalable shape analysis for systems code
- Scalable Shape Analysis For Systems Code Hongseok Yang 1 , Oukseh Lee 2 , Josh Berdine 3
- Cited by 8 (1 self) – Add To MetaCart

