Browse "RIMS Conference Papers" byAuthor1048

Showing results 1 to 25 of 25

1
An Improved Differential Fixpoint Iteration Method for Program Analysis

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

2
Assessing the Overhead of ML Exceptions by Selective CPS Transformation

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

3
Automatic Generation and Management of Interprocedural Program Analyses

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

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

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

5
Constraint-based Analysis for Java

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

6
Escape Analysis for Stack Allocation in Java

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

7
Estimating uncaught exceptions in standard ML programs from type-based equations

Yi Kwangkeunresearcher; Ryu Sukyoung; Pyun Ki-Hyun, Proceedings of the IEEE 20th Annual International Computer Software & Applications Conference, 1996, pp.455 - 460, 1996-08-21

8
Exception Analysis for JAVA

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

9
Exception Analysis for Multi-threaded Java Programs

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

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

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

11
Interconnecting Between CPS Terms and Non-CPS Terms

Kwangkeun Yiresearcher, ACM SIGPLAN Workshop on Continuations, 2001

12
Interprocedural Exception Analysis for Java

Kwangkeun Yiresearcher, ACM Symposium on Applied Computing, 2001

13
On Expressive Power of Second Order Propositional Program Logics

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

14
On-the-fly Circuits to Measure the Average Working Set Size

Kwangkeun Yiresearcher, IEEE Int. Conf. on Computer Design: VLSI in Computers and Processors, pp.471 - 474, 1990

15
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework

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

16
Puzzles for learning model checking, model checking for programming puzzles, puzzles for testing model checkers

Shilov N.V.; Yi K.researcher, Formal Methods Elsewhere (a Satellite Workshop of FORTE-PSTV-2000 Devoted to Applications of Formal Methods to Areas other than Communication, v.43, pp.37 - 52, 2000

17
Standard ML 프로그램식들의 유추된 타입을 보여주는 도구의개발

이광근researcher, 한국정보과학회 학술발표논문집, pp.41 - 44, 1997

18
Standard ML 프로그램의 실행중 처리되지 않는 예외상황을 예측하는 방법

이광근researcher, 한국정보과학회 학술발표논문집, 제 23권 2호, pp.807 - 810, 1996

19
Static Extensionality Checking for Lambda-definable Functions Over Lattices

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

20
Static Monotonicity Analysis for Lambda-definable Functions over Lattices

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

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

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

22
메모리 재활용장치와 함수흐름도를 이용한 메모리 소비량 측정기

이광근researcher, 한국정보과학회 학술발표논문집, pp.319 - 322, 1997

23
분석기 생성시스템 Z2에서 그래픽 사용자 인터페이스의 자동생성

이광근researcher, 한국정보과학회 학술발표논문집, pp.301 - 304, 1997

24
스택머신 코드의 타입분석

이광근researcher; 이욱세; 이광근researcher; 김병철, 한국정보과학회 학술대회, pp.413 - 415, 1998

25
타입오류를 일찍감지하는 타입유추 알고리즘

이광근researcher; 이욱세, 한국정보과학회 학술발표논문집, pp.57 - 60, 1997

rss_1.0 rss_2.0 atom_1.0