DSpace at KOASAS
Browsing DSpace

Browse "RIMS Conference Papers" by Author Kwangkeun Yi

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 12 to 17 of 17

12
On Expressive Power of Second Order Propositional Program Logics

Kwangkeun Yi, Ershov International Conference on Perspectives of System Informatics, 2001

13
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

14
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework

Kwangkeun Yi, International Symposium on Functional and Logic Programming, 2001

15
Static Extensionality Checking for Lambda-definable Functions Over Lattices

Kwangkeun Yi, The Third Asian Workshop On Programming Languages and Systems, 2002

16
Static Monotonicity Analysis for Lambda-definable Functions over Lattices

Kwangkeun Yi, 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, 2002

17
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs

Kwangkeun Yi, International Static Analysis Symposium, pp.98 - 113, 1997

Discover

rss_1.0 rss_2.0 atom_1.0