Derivation of deterministic inverse programs based on LR parsing.
Derivation of deterministic inverse programs based on LR parsing.
复制标题
基于LR解析的确定性逆程序的推导。
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Masahiko Kawabe
中科院分区：
文献类型：
--
作者：
真田貴志;池田和美;保倉明子;中井 泉;池田 和美;真道 洋子(編);久保田 静香;久保田 静香;久保田 静香;Masahiko Kawabe
登录
查看更多内容
DOI：
--
发表时间：
2002
期刊：
The Essence of Computation
影响因子：
--
作者：
Sergei M. Abramov;R. Glück
通讯作者：
R. Glück
DOI：
10.1145/96877.96953
发表时间：
1990
期刊：
--
影响因子：
--
作者：
R. Glück;V. Turchin
通讯作者：
V. Turchin
DOI：
--
发表时间：
1981
期刊：
--
影响因子：
--
作者：
R. Korf
通讯作者：
R. Korf
程序逆变器
DOI：
--
发表时间：
2004
期刊：
16th Nordic Workshop on Programming Theory. Proceedings
影响因子：
--
作者：
真田貴志;池田和美;保倉明子;中井 泉;池田 和美;真道 洋子(編);久保田 静香;久保田 静香;久保田 静香;Masahiko Kawabe;河邊 昌彦;Masahiko Kawabe
通讯作者：
Masahiko Kawabe
DOI：
10.1145/777388.777391
发表时间：
2003
期刊：
--
影响因子：
--
作者：
R. Glück;Youhei Kawada;Takuya Hashimoto
通讯作者：
Takuya Hashimoto