Search the dblp DataBase
Kwang-Moo Choe :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Byeong-Mo Chang , Kwang-Moo Choe , Roberto Giacobazzi Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. [Citation Graph (0, 0)][DBLP ] SAC, 1994, pp:388-393 [Conf ] Byeong-Mo Chang , Jang-Wu Jo , Kwangkeun Yi , Kwang-Moo Choe Interprocedural exception analysis for Java. [Citation Graph (0, 0)][DBLP ] SAC, 2001, pp:620-625 [Conf ] Nam Sung Woo , Kwang-Moo Choe Selecting the Backtrack Literal in the AND/OR Model. [Citation Graph (0, 0)][DBLP ] SLP, 1986, pp:200-210 [Conf ] Myung-Joon Lee , Kwang-Moo Choe Boundedly LR( k )-conflictable Grammars. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1994, v:31, n:3, pp:261-283 [Journal ] Byeong-Mo Chang , Kwang-Moo Choe , Taisook Han Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1993, v:47, n:3, pp:149-157 [Journal ] Byeong-Mo Chang , Kwang-Moo Choe , Taisook Han Static Filtering on Stratified Programs. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1993, v:47, n:5, pp:237-244 [Journal ] Kwang-Moo Choe , C. H. Chang Efficient Computation of the Locally Least-Cost Insertion String for the LR Error Repair. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1986, v:23, n:6, pp:311-316 [Journal ] Min-Soo Jung , Kwang-Moo Choe , Taisook Han An Efficient Computation of Right Context for LR-Based Error Repair. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1994, v:49, n:2, pp:63-71 [Journal ] Do-Hyung Kim , Kwang-Moo Choe Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1991, v:40, n:4, pp:201-211 [Journal ] Do-Hyung Kim , Kwang-Moo Choe Corrigenda: Yet Another Efficient Backward Execution Algorithm in the AND/OR Process Model. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1992, v:43, n:3, pp:165- [Journal ] Myung-Joon Lee , Kwang-Moo Choe SLR(k) Covering for LR(k) Grammars. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1991, v:37, n:6, pp:337-347 [Journal ] Myung-Joon Lee , Kwang-Moo Choe Corrigenda: SLR(k) Covering for LR(k) Grammars. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1991, v:38, n:5, pp:281- [Journal ] Eun-Jung Lee , Kwang-Moo Choe Grammar Coverings of a Deterministic Parser with Action Conflicts. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1994, v:51, n:2, pp:85-92 [Journal ] Gyung-Ok Lee , Kwang-Moo Choe An LR Parser with Pre-Determined Reduction Goals. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1999, v:72, n:5-6, pp:189-196 [Journal ] DongGill Lee , Kwang-Moo Choe , Taisook Han A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1993, v:48, n:4, pp:163-170 [Journal ] Su-Hyun Lee , Do-Hyung Kim , Kwang-Moo Choe Path for AND-Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1994, v:52, n:4, pp:191-199 [Journal ] Woo-Jun Park , Myung-Joon Lee , Kwang-Moo Choe On the Reduction of LR(k) Parsers. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1993, v:47, n:5, pp:245-251 [Journal ] Heung-Chul Shin , Kwang-Moo Choe An Improved LALR(k) Parser Generation for Regular Right Part Grammars. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1993, v:47, n:3, pp:123-129 [Journal ] In-Sig Yun , Kwang-Moo Choe , Taisook Han Syntactic Error Repair Using Repair Patterns. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1993, v:47, n:4, pp:189-196 [Journal ] Kyung-Woo Kang , Kwang-Moo Choe , Min-Soo Jung , Heung-Chul Shin An efficient bottom-up tree pattern matching that performs dynamic programming for code generation. [Citation Graph (0, 0)][DBLP ] J. Prog. Lang., 1997, v:5, n:1, pp:189-199 [Journal ] Jang-Wu Jo , Byeong-Mo Chang , Kwangkeun Yi , Kwang-Moo Choe An uncaught exception analysis for Java. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2004, v:72, n:1, pp:59-69 [Journal ] Do-Hyung Kim , Kwang-Moo Choe , Taisook Han Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP ] Parallel Processing Letters, 1992, v:2, n:, pp:71-79 [Journal ] Gyung-Ok Lee , Kwang-Moo Choe A Powerful LL(k ) Covering Transformation. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 2005, v:35, n:2, pp:359-377 [Journal ] Joseph C. H. Park , Kwang-Moo Choe Remarks on Recent Algorithms for LALR Lookahead Sets. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1987, v:22, n:4, pp:30-32 [Journal ] Ik-Soon Kim , Kwang-Moo Choe Error repair with validation in LR-based parsing. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2001, v:23, n:4, pp:451-471 [Journal ] Joseph C. H. Park , Kwang-Moo Choe , C. H. Chang A New Analysis of LALR Formalisms. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1985, v:7, n:1, pp:159-175 [Journal ] Points-to analysis for JavaScript. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs