DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Choe, Kwang-Moo

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 11 of 11

1
A New analysis of LALR Formalisms

Park, Joseph C.H.; Choe, Kwang-Moo; Chang, C.H., Proceedings of the Science and technology Symposium '84, 1984

2
Abstract Filters: Improving Bottom-up Execution of Logic Programs by Two-phase Abstract Interpretation

Chang, Byeong-Mo; Choe, Kwang-Moo; Giacobazzi, Roberto, Proceefings of the 1994 ACM Symp. on Applied Computing, pp.388 - 393, SAC '94, 1994-03

3
Efficient Construction of Over-Approximated CFG on Esterel

Kim, Chul-Joo; Yun, Jeong-Han; Seo, Sunae; Choe, Kwang-Moo; Han, Taisook, The KIISE Korea Computer Congress 2009, pp.379 - 380, 2009

4
Exact Type Parameterization and ThisType Support

Na, Hyunik; Ryu, Sukyoung; Choe, Kwang-Moo, The Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, ACM, 2012-01-28

5
MULTIPLE BACKTRACKING IN THE AND PROCESS OF LOGIC PROGRAMMING.

Choe, Kwang-Moo; Lee, Myung Joon; Woo, Nam Sung, Proceedings - TENCON 87: 1987 IEEE Region 10 Conference, 'Computers and Communications Technology Toward 2000'., pp.826 - 829, 1987

6
Points-to analysis for JavaScript

Jang , Dongseok; Choe, Kwang-Moo, 24th Annual ACM Symposium on Applied Computing, SAC 2009, pp.1930 - 1937, ACM Special Interest Group on Applied Computing (SIGAPP), 2009-03-08

7
Refining schizophrenia via graph reachability in esterel

Yun, Jeong-Han; Kim, Chul-Joo; Seo, Sunae; Han, Taisook; Choe, Kwang-Moo, 2009 7th IEEE-ACM International Conference on Formal Methods and Models for Co-Design, MEMOCODE '09, pp.18 - 27, IEEE, 2009-07-13

8
Selecting the Backtrack Literal in the AND/OR Process Model

Woo, Nam Sung; Choe, Kwang-Moo, SLP '86 Third IEEE Symposium on Logic Programming, pp.200 - 210, 1986

9
String analysis as an abstract interpretation

Kim, Se-Won; Choe, Kwang-Moo, 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, pp.294 - 308, 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, 2011-01-23

10
SUIF program analysis using System Z2

Kim, Seong-Hoon; Yi, Kwangkeun; Eo, Hyun-Jun; Choe, Kwang-Moo, The SUIF Compiler Workshop, pp.185 - 190, 1997

11
Verifying Safety of File-like Resources by Resource Allocation Matrix

Eo, Hyunjun; Kang, Hyun-Goo; Choe, Kwang-Moo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.387 - 392, 2005-06-01

Discover

rss_1.0 rss_2.0 atom_1.0