Searching for authors named "Oukseh Lee" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
