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 1 to 17 of 17

1
An Improved Differential Fixpoint Iteration Method for Program Analysis

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

2
Assessing the Overhead of ML Exceptions by Selective CPS Transformation

Kwangkeun Yi, ACM SIGPLAN Workshop on ML, pp.103 - 114, 1998

3
Automatic Generation and Management of Interprocedural Program Analyses

Kwangkeun Yi, ACM Symposium on Principles of Programming Languages, pp.246 - 259, 1993

4
Compile-time Detection of Uncaught Exceptions in Standard ML Programs

Kwangkeun Yi, International Static Analysis Symposium, pp.238 - 254, 1994

5
Constraint-based Analysis for Java

Kwangkeun Yi, SSGRR Conference on Computers and E-Business, 2000

6
Escape Analysis for Stack Allocation in Java

Kwangkeun Yi, European Conference on Object-Oriented Programming Workshop on Formal Techniques for Java Programs, 2000

7
Exception Analysis for JAVA

Kwangkeun Yi, European Conference on Object-Oriented Programming Workshop on Formal Techniques for JAVA Programs, pp.65 - 72, 1999

8
Exception Analysis for Multi-threaded Java Programs

Kwangkeun Yi, 2nd Asia-Pacific Conference on Quality Software, 2001

9
Inserting Safe Memory Re-use Commands iinto ML-like Programs

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

10
Interconnecting Between CPS Terms and Non-CPS Terms

Kwangkeun Yi, ACM SIGPLAN Workshop on Continuations, 2001

11
Interprocedural Exception Analysis for Java

Kwangkeun Yi, ACM Symposium on Applied Computing, 2001

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