Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Choe, Kwang-Moo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A powerful
LL(k)
covering transformation
Gyung-Ok Lee
,
Kwang-Moo Choe
SIAM Journal on Computing
35
(2), 2005, pp. 359-377
An LR parser with pre-determined reduction goals
Gyung-Ok Lee
,
Kwang-Moo Choe
Information Processing Letters
72
(5-6), 1999, pp. 189-196
An efficient computation of right context for LR-based error repair
Min-Soo Jung
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
49
, 1994, pp. 63-71
Grammar coverings of a deterministic parser with action conflicts
Eun-Jung Lee
,
Kwang-Moo Choe
Information Processing Letters
51
, 1994, pp. 85-92
Boundedly LR
(k)
-conflictable grammars
Myung-Joon Lee
,
Kwang-Moo Choe
Acta Informatica
31
(3), 1994, pp. 261-283
Path for AND-parallel execution of logic programs
Su-Hyun Lee
,
Do-Hyung Kim
,
Kwang-Moo Choe
Information Processing Letters
52
, 1994, pp. 191-199
Efficient bottom-up execution of logic programs using abstract interpretation
Byeong-Mo Chang
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
47
(3), 1993, pp. 149-157
Static filtering on stratified programs
Byeong-Mo Chang
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
47
(5), 1993, pp. 237-244
A description of dynamic behavior for compilers based on object oriented modeling
DongGill Lee
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
48
(4), 1993, pp. 163-170
On the reduction of LR
(k)
parsers
Woo-Jun Park
,
Myung-Joon Lee
,
Kwang-Moo Choe
Information Processing Letters
47
(5), 1993, pp. 245-251
An improved LALR
(k)
parser generation for regular right part grammars
Heung-Chul Shin
,
Kwang-Moo Choe
Information Processing Letters
47
(3), 1993, pp. 123-129
Syntactic error repair using repair patterns
In-Sig Yun
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
47
(4), 1993, pp. 189-196
Refined mark(s)-set-based backtrack literal selection for AND parallelism in logic programs
Do-Hyung Kim
,
Kwang-Moo Choe
,
Taisook Han
Parallel Processing Letters
2
(1), 1992, pp. 71-79
Yet another efficient backward execution algorithm in the AND/OR process model
Do-Hyung Kim
,
Kwang-Moo Choe
Information Processing Letters
40
, 1991, pp. 201-211
SLR(k)
covering for
LR(k)
grammars
Myung-Joon Lee
,
Kwang-Moo Choe
Information Processing Letters
37
, 1991, pp. 337-347
Efficient computation of the locally least-cost insertion string for the LR error repair
Kwang-Moo Choe
,
Chun-Hyon Chang
Information Processing Letters
23
(6), 1986, December, pp. 311-316