Showing results 15 to 17 of 17
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