Browse "RIMS Conference Papers" by Author Kwangkeun Yi
Showing results 14 to 17 of 17
| 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
Type
- 3,515 Conference
Date issued
- 324 2020 - 2023
- 961 2010 - 2019
- 1,104 2000 - 2009
- 918 1990 - 1999
- 155 1980 - 1989