Kwang-Moo Choe先生
人员信息
其他同名人员
优化列表
2010 – 2019
2013 [公元31年] 郑汉云 , Chul-Joo Kim先生 , Seonggun Kim先生 , Kwang-Moo Choe先生 , Taisook Han先生 :
酯酶中有害精神分裂症陈述的检测。 ACM事务处理。 嵌入。 计算。 系统。 12 ( 三 ) : 80:1-80:23 ( 2013 ) 2011 【j30】 Woongsik Choi村 , Kwang-Moo Choe先生 :
基于调用图的上下文敏感指针分析的循环消除。 Inf.软件。 Technol公司。 53 ( 8 ) : 818-833 ( 2011 ) [公元29年] Seonggun Kim先生 , 韩焕洙 , Kwang-Moo Choe先生 :
显式管理内存层次结构上基于区域的非规则缩减并行化。 J.超级计算机。 56 ( 1 ) : 25-55 ( 2011 ) 【c6】 Se-Won Kim先生 , Kwang-Moo Choe先生 :
字符串分析作为抽象解释。 VMCAI公司 2011 : 294-308 2010 [公元28年] 金卓珠 , 郑汉云 , Seonggun Kim先生 , Kwang-Moo Choe先生 , Taisook Han先生 :
纯酯的超近似控制流图构建。 IEICE传输。 信息系统。 93天 ( 5 ) : 985-993 ( 2010 ) [公元27年] 尤伊尔·金 , Jooyong Lee(李中勇) , 韩焕洙 , Kwang-Moo Choe先生 :
使用SMT解算器过滤缓冲区溢出分析的假警报。 Inf.软件。 Technol公司。 52 ( 2 ) : 210-219 ( 2010 ) [j26] Keoncheol Shin公司 , 韩焕洙 , Kwang-Moo Choe先生 :
用于结构重组的基于合成的Cache模拟。 J.系统。 阿基特。 56 ( 2-3 ) : 136-149 ( 2010 )
2000 – 2009
2009 【c5】 郑汉云 , Chul-Joo Kim先生 , 苏奈·苏 , Taisook Han先生 , Kwang Moo Choe公司 :
通过Esterel中的图可达性精炼精神分裂症。 记忆码 2009 : 18-27 【c4】 Dongseok Jang先生 , Kwang-Moo Choe先生 :
指向JavaScript分析的指针。 囊 2009 : 1930-1937 2006 [j25] Seunghwan O公司 , Kwang-Moo Choe先生 :
LR形式主义作为语法语义的抽象解释。 IEICE传输。 信息系统。 89天 ( 12 ) : 2924-2932 ( 2006 ) 2005 [公元24年] Eo贤俊 , Kwangkeun Yi公司 , Kwang-Moo Choe先生 :
?的静态扩展性分析- 格上的可定义函数。 新一代。 计算。 24 ( 1 ) : 53-78 ( 2005 ) [公元23年] Gyung-Ok Lee(李庆国) , Kwang-Moo Choe先生 :
强大的LL( k个 )覆盖转换。 SIAM J.计算。 35 ( 2 ) : 359-377 ( 2005 ) 2004 [公元22年] 张武乔 , 再见-Mo Chang , Kwangkeun Yi公司 , Kwang-Moo Choe先生 :
Java的未捕获异常分析。 J.系统。 柔和。 72 ( 1 ) : 59-69 ( 2004 ) 2001 [公元21年] Ik-Soon金 , Kwang-Moo Choe先生 :
基于LR的分析中的错误修复和验证。 ACM事务处理。 程序。 语言系统。 23 ( 4 ) : 451-471 ( 2001 ) 【c3】 再见-Mo Chang , 张武乔 , Kwangkeun Yi公司 , Kwang-Moo Choe先生 :
Java的跨过程异常分析。 囊 2001 : 620-625
1990 – 1999
1999 [公元20年] Gyung-Ok Lee(李庆国) , Kwang-Moo Choe先生 :
具有预先确定的还原目标的LR分析器。 信息处理。 莱特。 72 ( 5-6 ) : 189-196 ( 1999 ) 1997 [公元19年] 京武康 , Kwang-Moo Choe先生 , Min-Soo Jung女士 , Heung-Chul Shin先生 :
一种高效的自下而上树模式匹配,用于执行代码生成的动态编程。 J.项目。 语言。 5 ( 1 ) : 189-199 ( 1997 ) 1994 [公元18年] 李明俊 , Kwang-Moo Choe先生 :
有限LR( k个 )-冲突语法。 信息学报 31 ( 三 ) : 261-283 ( 1994 ) [公元17年] Min-Soo Jung女士 , Kwang-Moo Choe先生 , Taisook Han先生 :
基于LR的错误修复中正确上下文的有效计算。 信息处理。 莱特。 49 ( 2 ) : 63-71 ( 1994 ) [公元16年] 李恩忠 , Kwang-Moo Choe先生 :
带有动作冲突的确定语法分析器的语法覆盖。 信息处理。 莱特。 51 ( 2 ) : 85-92 ( 1994 ) [公元15年] 李素云 , Do-Hyung Kim先生 , Kwang-Moo Choe先生 :
逻辑程序的AND并行执行路径。 信息处理。 莱特。 52 ( 4 ) : 191-199 ( 1994 ) 【c2】 再见-Mo Chang , Kwang Moo Choe公司 , 罗伯托·贾科巴齐 :
抽象过滤器:通过两阶段抽象解释改进逻辑程序的自下而上执行。 囊 1994 : 388-393 1993 [公元14年] Heung-Chul Shin先生 , Kwang-Moo Choe先生 :
一种改进的正则右部分文法的LALR(k)分析器生成。 信息处理。 莱特。 47 ( 三 ) : 123-129 ( 1993 ) [j13] 再见-Mo Chang , Kwang-Moo Choe先生 , Taisook Han先生 :
使用抽象解释的逻辑程序的高效自底向上执行。 信息处理。 莱特。 47 ( 三 ) : 149-157 ( 1993 ) [公元12年] In-Sig Yun公司 , Kwang-Moo Choe先生 , Taisook Han先生 :
使用修复模式进行句法错误修复。 信息处理。 莱特。 47 ( 4 ) : 189-196 ( 1993 ) [j11] 再见-Mo Chang , Kwang-Moo Choe先生 , Taisook Han先生 :
分层程序的静态过滤。 信息处理。 莱特。 47 ( 5 ) : 237-244 ( 1993 ) [j10] 伍俊公园 , Myung-Joon Lee(李明俊) , Kwang-Moo Choe先生 :
关于LR(k)分析器的约简。 信息处理。 莱特。 47 ( 5 ) : 245-251 ( 1993 ) [公元9年] 李东吉尔 , Kwang-Moo Choe先生 , Taisook Han先生 :
基于面向对象建模的编译器动态行为描述。 信息处理。 莱特。 48 ( 4 ) : 163-170 ( 1993 ) 1992 [j8] Do-Hyung Kim先生 , Kwang Moo Choe公司 :
勘误表:AND/OR过程模型中另一种高效的向后执行算法。 信息处理。 莱特。 43 ( 三 ) : 165 ( 1992 ) [j7] Do-Hyung Kim先生 , Kwang-Moo Choe先生 , Taisook Han先生 :
优化标记-逻辑程序中基于集合的回溯文字选择和并行性。 并行过程。 莱特。 2 : 71-79 ( 1992 ) 1991 [j6] Myung-Joon Lee(李明俊) , Kwang-Moo Choe先生 :
SLR(k)覆盖LR(k)语法。 信息处理。 莱特。 37 ( 6 ) : 337-347 ( 1991 ) [j5] Myung-Joon Lee(李明俊) , Kwang-Moo Choe先生 :
勘误表:SLR(k)涵盖LR(k)语法。 信息处理。 莱特。 38 ( 5 ) : 281 ( 1991 ) 【j4】 Do-Hyung Kim先生 , Kwang-Moo Choe先生 :
又一种在AND/OR过程模型中有效的反向执行算法。 信息处理。 莱特。 40 ( 4 ) : 201-211 ( 1991 )
1980 – 1989
1987 [j3] 约瑟夫·帕克 , Kwang-Moo Choe先生 :
关于LALR前瞻集的最新算法的备注。 ACM SIGPLAN通知 22 ( 4 ) : 30-32 ( 1987 ) 1986 [注2] Kwang-Moo Choe先生 , C.H.Chang先生 :
LR错误修复中局部最小代价插入字符串的有效计算。 信息处理。 莱特。 23 ( 6 ) : 311-316 ( 1986 ) 【c1】 南成宇 , Kwang-Moo Choe先生 :
在AND/OR模型中选择Backtrack Literal。 SLP公司 1986 : 200-210 1985 [j1] 约瑟夫·帕克 , Kwang-Moo Choe先生 , 张建恒 :
LALR形式化的新分析。 ACM事务处理。 程序。 语言系统。 7 ( 1 ) : 159-175 ( 1985 )