Kwang-Moo Choe

发表

On the Reduction of LR(k) Parsers

Myung-Joon Lee, Woo-Jun Park, Kwang-Moo Choe, 1993, Inf. Process. Lett..

An efficient bottom-up tree pattern matching that performs dynamic programming for code generation

Min-Soo Jung, Kwang-Moo Choe, Kyung-Woo Kang, 1997, J. Program. Lang..

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation

Roberto Giacobazzi, Kwang-Moo Choe, Byeong-Mo Chang, 1994, SAC '94.

Interprocedural exception analysis for Java

Kwangkeun Yi, Kwang-Moo Choe, Byeong-Mo Chang, 2001, SAC.

Detection of harmful schizophrenic statements in esterel

Taisook Han, Kwang-Moo Choe, Jeong-Han Yun, 2013, TECS.

Refining schizophrenia via graph reachability in Esterel

Taisook Han, Kwang-Moo Choe, Jeong-Han Yun, 2009, 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.

A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling

Taisook Han, Kwang-Moo Choe, DongGill Lee, 1993, Inf. Process. Lett..

An Efficient Computation of Right Context for LR-Based Error Repair

Taisook Han, Min-Soo Jung, Kwang-Moo Choe, 1994, Inf. Process. Lett..

Yet another efficient backward execution algorithm in the AND/OR process model: Information processing letters 40 (4) (25 November 1991) 201-211

Kwang-Moo Choe, Do-Hyung Kim, K. Choe, 1992 .

An uncaught exception analysis for Java q,qq

Kwangkeun Yi, Kwang-Moo Choe, Byeong-Mo Chang, 2004 .

SLR(k) Covering for LR(k) Grammars

Myung-Joon Lee, Kwang-Moo Choe, Myung-Joon Lee, 1991, Inf. Process. Lett..

Selecting the Backtrack Literal in the AND/OR Model

Kwang-Moo Choe, Nam Sung Woo, K. Choe, 1986, SLP.

Corrigenda: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model

Do-Hyung Kim, Kwang-Moo Choe, 1992, Inf. Process. Lett..

Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model

Do-Hyung Kim, Kwang-Moo Choe, 1991, Inf. Process. Lett..

LR Formalisms as Abstract Interpretations of Grammar Semantics

Kwang-Moo Choe, O Seunghwan, 2006, IEICE Trans. Inf. Syst..

MULTIPLE BACKTRACKING IN THE AND PROCESS OF LOGIC PROGRAMMING.

Kwang-Moo Choe, Nam Sung Woo, Myung Joon Lee, 1997 .

Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs

Taisook Han, Kwang-Moo Choe, Do-Hyung Kim, 1992, Parallel Process. Lett..

Over-Approximated Control Flow Graph Construction on Pure Esterel

Taisook Han, Kwang-Moo Choe, Jeong-Han Yun, 2010, IEICE Trans. Inf. Syst..

Efficient Construction of Over-Approximated CFG on Esterel

Taisook Han, Kwang-Moo Choe, Jeong-Han Yun, 2009 .

Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation

Taisook Han, Kwang-Moo Choe, Byeong-Mo Chang, 1993, Inf. Process. Lett..

Syntax-driven Automata Generation for Esterel

Taisook Han, Kwang-Moo Choe, Jeong-Han Yun, 2010 .

Efficient Computation of the Locally Least-Cost Insertion String for the LR Error Repair

C. H. Chang, Kwang-Moo Choe, 1986, Inf. Process. Lett..

Filtering false alarms of buffer overflow analysis using SMT solvers

Kwang-Moo Choe, Jooyong Yi, Hwansoo Han, 2010, Inf. Softw. Technol..

Remarks on recent algorithms for LALR lookahead sets

Kwang-Moo Choe, Joseph C. H. Park, 1987, SIGP.

String Analysis as an Abstract Interpretation

Se-Won Kim, Kwang-Moo Choe, K. Choe, 2011, VMCAI.

Composition-based Cache simulation for structure reorganization

Kwang-Moo Choe, Hwansoo Han, Keoncheol Shin, 2010, J. Syst. Archit..

Region-based parallelization of irregular reductions on explicitly managed memory hierarchies

Kwang-Moo Choe, Seonggun Kim, Hwansoo Han, 2011, The Journal of Supercomputing.

Error repair with validation in LR-based parsing

Kwang-Moo Choe, Ik-Soon Kim, K. Choe, 2001, TOPL.

Grammar Coverings of a Deterministic Parser with Action Conflicts

Kwang-Moo Choe, Eun-Jung Lee, 1994, Inf. Process. Lett..

Corrigenda: SLR(k) Covering for LR(k) Grammars

Myung-Joon Lee, Kwang-Moo Choe, Myung-Joon Lee, 1991, Inf. Process. Lett..

Static Filtering on Stratified Programs

Taisook Han, Kwang-Moo Choe, Byeong-Mo Chang, 1993, Inf. Process. Lett..

SUIF program analysis using System Z2

Kwangkeun Yi, Kwang-Moo Choe, Hyunjun Eo, 1997 .

A new analysis of LALR formalisms

C. H. Chang, Kwang-Moo Choe, Joseph C. H. Park, 1985, TOPL.

Techniques for database recovery in distributed environments

Kwang-Moo Choe, Hyuk Son, K. Choe, 1988 .

Path for AND-Parallel Execution of Logic Programs

Do-Hyung Kim, Kwang-Moo Choe, Su-Hyun Lee, 1994, Inf. Process. Lett..

An LR Parser with Pre-Determined Reduction Goals

Kwang-Moo Choe, Gyung-Ok Lee, 1999, Inf. Process. Lett..

논리 프로그램의 병렬 수행에서 재초기화 알고리즘의 정확성 증명을 위한 참조 집합 : 직관적 접근

김도형, 최광무, Kwang-Moo Choe, 1996 .

An Improved LALR(k) Parser Generation for Regular Right Part Grammars

Kwang-Moo Choe, Heung-Chul Shin, 1993, Inf. Process. Lett..

An uncaught exception analysis for Java

Kwangkeun Yi, Kwang-Moo Choe, Byeong-Mo Chang, 2004, J. Syst. Softw..

Points-to analysis for JavaScript

Kwang-Moo Choe, Dongseok Jang, 2009, SAC '09.

Cycle elimination for invocation graph-based context-sensitive pointer analysis

Kwang-Moo Choe, Woongsik Choi, 2011, Inf. Softw. Technol..

A Powerful LL(k) Covering Transformation

Kwang-Moo Choe, Gyung-Ok Lee, 2005, SIAM J. Comput..

New Schizophrenia Patterns on Esterel caused by Control/Data Signals

Taisook Han, Kwang-Moo Choe, Jeong-Han Yun, 2010 .

Boundelly LR(k)-conflictable grammars

Myung-Joon Lee, Kwang-Moo Choe, Myung-Joon Lee, 1994, Acta Informatica.

An analysis for fast construction of states in the bottom-up tree pattern matching scheme

Kwang-Moo Choe, Kyung-Woo Kang, Min Soo Jung, 1999 .

Static extensivity analysis for λ-definable functions over lattices

Kwangkeun Yi, Kwang-Moo Choe, Hyunjun Eo, 2009, New Generation Computing.

Syntactic Error Repair Using Repair Patterns

Taisook Han, Kwang-Moo Choe, In-Sig Yun, 1993, Inf. Process. Lett..