Browse "RIMS Conference Papers" by Author 1048

Showing results 13 to 25 of 25

13
On Expressive Power of Second Order Propositional Program Logics

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

14
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

15
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework

Kwangkeun Yi, 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., 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 프로그램식들의 유추된 타입을 보여주는 도구의개발

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

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

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

19
Static Extensionality Checking for Lambda-definable Functions Over Lattices

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

20
Static Monotonicity Analysis for Lambda-definable Functions over Lattices

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

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

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

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

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

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

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

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

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

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

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

rss_1.0 rss_2.0 atom_1.0