Oukseh Lee

From MaRDI portal
Person:1603498

Available identifiers

zbMath Open lee.ouksehMaRDI QIDQ1603498

List of research outcomes





PublicationDate of PublicationType
A divide-and-conquer approach for analysing overlaid data structures2014-03-28Paper
Scalable Shape Analysis for Systems Code2008-07-15Paper
A Practical String Analyzer by the Widening Approach2008-05-06Paper
Static insertion of safe and effective memory reuse commands into ML-like programs2005-10-10Paper
Programming Languages and Systems2005-09-13Paper
Proofs of a set of hybrid let-polymorphic type inference algorithms2005-02-11Paper
https://portal.mardi4nfdi.de/entity/Q48133982004-08-13Paper
A proof method for the correctness of modularized 0CFA2002-07-14Paper

Research outcomes over time

This page was built for person: Oukseh Lee

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1603498&oldid=6232851"
Powered by MediaWiki