Showing results 10 to 25 of 25
Inserting Safe Memory Re-use Commands iinto ML-like Programs Kwangkeun Yi, The Third Asian Workshop On Programming Languages and Systems, 2002 |
Interconnecting Between CPS Terms and Non-CPS Terms Kwangkeun Yi, ACM SIGPLAN Workshop on Continuations, 2001 |
Interprocedural Exception Analysis for Java Kwangkeun Yi, ACM Symposium on Applied Computing, 2001 |
On Expressive Power of Second Order Propositional Program Logics Kwangkeun Yi, Ershov International Conference on Perspectives of System Informatics, 2001 |
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 |
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework Kwangkeun Yi, International Symposium on Functional and Logic Programming, 2001 |
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 |
Standard ML 프로그램식들의 유추된 타입을 보여주는 도구의개발 이광근, 한국정보과학회 학술발표논문집, pp.41 - 44, 1997 |
Standard ML 프로그램의 실행중 처리되지 않는 예외상황을 예측하는 방법 이광근, 한국정보과학회 학술발표논문집, 제 23권 2호, pp.807 - 810, 1996 |
Static Extensionality Checking for Lambda-definable Functions Over Lattices Kwangkeun Yi, The Third Asian Workshop On Programming Languages and Systems, 2002 |
Static Monotonicity Analysis for Lambda-definable Functions over Lattices Kwangkeun Yi, 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, 2002 |
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs Kwangkeun Yi, International Static Analysis Symposium, pp.98 - 113, 1997 |
메모리 재활용장치와 함수흐름도를 이용한 메모리 소비량 측정기 이광근, 한국정보과학회 학술발표논문집, pp.319 - 322, 1997 |
분석기 생성시스템 Z2에서 그래픽 사용자 인터페이스의 자동생성 이광근, 한국정보과학회 학술발표논문집, pp.301 - 304, 1997 |
스택머신 코드의 타입분석 이광근; 이욱세; 이광근; 김병철, 한국정보과학회 학술대회, pp.413 - 415, 1998 |
타입오류를 일찍감지하는 타입유추 알고리즘 이광근; 이욱세, 한국정보과학회 학술발표논문집, pp.57 - 60, 1997 |
Discover