dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Kwangkeun Yi (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOukseh Lee, Hongseok Yang, Kwangkeun Yi: Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP 2005: 124-140
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOukseh 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)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOukseh Lee, Kwangkeun Yi: Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. ISMM 2004: 97-107
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Reuse Commands into ML-Like Programs. SAS 2003: 171-188
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyunjun Eo, Oukseh Lee, Kwangkeun Yi: Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. New Generation Comput. 22(1): 1-36 (2003)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Re-use Commands into ML-like Programs. APLAS 2002: 317-333
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOukseh Lee, Kwangkeun Yi, Yunheung Paek: A proof method for the correctness of modularized 0CFA. Inf. Process. Lett. 81(4): 179-185 (2002)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOukseh Lee, Kwangkeun Yi: A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. APLAS 2000: 79-88
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOukseh 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 TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page