Kwang-Moo CHOE


Over-Approximated Control Flow Graph Construction on Pure Esterel
Chul-Joo KIM Jeong-Han YUN Seonggun KIM Kwang-Moo CHOE Taisook HAN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5  pp. 985-993
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Program Analysis
Keyword: 
esterelcontrol flow graphsynchronous language
 Summary | Full Text:PDF(979.9KB)

LR Formalisms as Abstract Interpretations of Grammar Semantics
Seunghwan O Kwang-Moo CHOE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/12/01
Vol. E89-D  No. 12  pp. 2924-2932
Type of Manuscript:  PAPER
Category: Automata and Formal Language Theory
Keyword: 
formal languageLR parsingformal semanticsabstract interpretation
 Summary | Full Text:PDF(310.5KB)

An Analysis for Fast Construction of States in the Bottom-Up Tree Pattern Matching Scheme
Kyung-Woo KANG Kwang-Moo CHOE Min-Soo JUNG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/05/25
Vol. E82-D  No. 5  pp. 973-976
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
compilercode generator generatortree grammardynamic programming
 Summary | Full Text:PDF(358.2KB)