Kwang-Moo Choe

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
String analysis as an abstract interpretation Lecture Notes in Computer Science	2011-02-15	Paper
Static extensivity analysis for \(\lambda\)-definable functions over lattices New Generation Computing	2006-06-12	Paper
A Powerful LL(k) Covering Transformation SIAM Journal on Computing	2006-06-01	Paper
An LR parser with pre-determined reduction goals Information Processing Letters	2002-07-25	Paper
Grammar coverings of a deterministic parser with action conflicts Information Processing Letters	2000-08-02	Paper
On the reduction of \(LR(k)\) parsers Information Processing Letters	1995-08-24	Paper
Path for AND-parallel execution of logic programs Information Processing Letters	1995-02-16	Paper
A description of dynamic behavior for compilers based on object oriented modeling Information Processing Letters	1994-08-31	Paper
Boundedly \(\text{LR}(k)\)-conflictable grammars Acta Informatica	1994-05-10	Paper
An efficient computation of right context for LR-based error repair Information Processing Letters	1994-04-04	Paper
Static filtering on stratified programs Information Processing Letters	1994-03-13	Paper
An improved LALR\((k)\) parser generation for regular right part grammars Information Processing Letters	1993-11-15	Paper
Syntactic error repair using repair patterns Information Processing Letters	1993-11-15	Paper
Efficient bottom-up execution of logic programs using abstract interpretation Information Processing Letters	1993-11-15	Paper
Corrigenda: Yet another efficient backward execution algorithm in the AND/OR process model Information Processing Letters	1993-01-16	Paper
Yet another efficient backward execution algorithm in the AND/OR process model Information Processing Letters	1992-06-28	Paper
SLR(k) covering for LR(k) grammars Information Processing Letters	1991-01-01	Paper
Efficient computation of the locally least-cost insertion string for the LR error repair Information Processing Letters	1986-01-01	Paper
A new analysis of LALR formalisms ACM Transactions on Programming Languages and Systems	1985-01-01	Paper

Research outcomes over time

This page was built for person: Kwang-Moo Choe