| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 33 |       | Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP 2005: 124-140 |
| 30 | | Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Static insertion of safe and effective memory reuse commands into ML-like programs. Sci. Comput. Program. 58(1-2): 141-178 (2005) |
| 29 | | Oukseh Lee, Kwangkeun Yi: Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. ISMM 2004: 97-107 |
| 25 | | Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Reuse Commands into ML-Like Programs. SAS 2003: 171-188 |
| 24 | | Hyunjun Eo, Oukseh Lee, Kwangkeun Yi: Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. New Generation Comput. 22(1): 1-36 (2003) |
| 21 |  | Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Re-use Commands into ML-like Programs. APLAS 2002: 317-333 |
| 17 | | Oukseh Lee, Kwangkeun Yi, Yunheung Paek: A proof method for the correctness of modularized 0CFA. Inf. Process. Lett. 81(4): 179-185 (2002) |
| 9 | | Oukseh Lee, Kwangkeun Yi: A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. APLAS 2000: 79-88 |
| 7 | | Oukseh Lee, Kwangkeun Yi: Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. ACM Trans. Program. Lang. Syst. 20(4): 707-723 (1998) |
Selection of 9 from 59 records - Kwangkeun Yi has 50 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page