Showing results 1 to 17 of 17
An Improved Differential Fixpoint Iteration Method for Program Analysis Kwangkeun Yi, The Third Asian Workshop on Programming Languages and Systems, 2002 |
Assessing the Overhead of ML Exceptions by Selective CPS Transformation Kwangkeun Yi, ACM SIGPLAN Workshop on ML, pp.103 - 114, 1998 |
Automatic Generation and Management of Interprocedural Program Analyses Kwangkeun Yi, ACM Symposium on Principles of Programming Languages, pp.246 - 259, 1993 |
Compile-time Detection of Uncaught Exceptions in Standard ML Programs Kwangkeun Yi, International Static Analysis Symposium, pp.238 - 254, 1994 |
Constraint-based Analysis for Java Kwangkeun Yi, SSGRR Conference on Computers and E-Business, 2000 |
Escape Analysis for Stack Allocation in Java Kwangkeun Yi, European Conference on Object-Oriented Programming Workshop on Formal Techniques for Java Programs, 2000 |
Exception Analysis for JAVA Kwangkeun Yi, European Conference on Object-Oriented Programming Workshop on Formal Techniques for JAVA Programs, pp.65 - 72, 1999 |
Exception Analysis for Multi-threaded Java Programs Kwangkeun Yi, 2nd Asia-Pacific Conference on Quality Software, 2001 |
Inserting Safe Memory Re-use Commands iinto ML-like Programs Kwangkeun Yi, The Third Asian Workshop On Programming Languages and Systems, 2002 |
Interconnecting Between CPS Terms and Non-CPS Terms Kwangkeun Yi, ACM SIGPLAN Workshop on Continuations, 2001 |
Interprocedural Exception Analysis for Java Kwangkeun Yi, ACM Symposium on Applied Computing, 2001 |
On Expressive Power of Second Order Propositional Program Logics Kwangkeun Yi, Ershov International Conference on Perspectives of System Informatics, 2001 |
On-the-fly Circuits to Measure the Average Working Set Size Kwangkeun Yi, IEEE Int. Conf. on Computer Design: VLSI in Computers and Processors, pp.471 - 474, 1990 |
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework Kwangkeun Yi, International Symposium on Functional and Logic Programming, 2001 |
Static Extensionality Checking for Lambda-definable Functions Over Lattices Kwangkeun Yi, The Third Asian Workshop On Programming Languages and Systems, 2002 |
Static Monotonicity Analysis for Lambda-definable Functions over Lattices Kwangkeun Yi, 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, 2002 |
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs Kwangkeun Yi, International Static Analysis Symposium, pp.98 - 113, 1997 |
Discover