Browse "RIMS Conference Papers" by Author 1048

Showing results 17 to 25 of 25

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