Kwang-Moo Choe

Available identifiers

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kwang-Moo Choe