Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
复制标题
基于有序线性类型的树处理程序转化为流处理程序
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Kohei Suenaga and Naoki Kobayashi
中科院分区：
文献类型：
--
作者：
Koichi Kodama;Kohei Suenaga and Naoki Kobayashi
登录
查看更多内容
有序线性逻辑及其应用
DOI：
--
发表时间：
2001
期刊：
影响因子：
--
作者：
Jeff Polakow;F. Pfenning
通讯作者：
F. Pfenning
DOI：
--
发表时间：
1991
期刊：
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
J. S. Hodas;D. Miller
通讯作者：
D. Miller
使用香蕉、镜头、信封和铁丝网进行函数式编程
DOI：
--
发表时间：
1991
期刊：
Conference on Functional Programming Languages and Computer Architecture
影响因子：
--
作者：
E. Meijer;M. Fokkinga;R. Paterson
通讯作者：
R. Paterson
用于递归 XML 处理的下推机
DOI：
10.1007/11924661_21
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Keisuke Nakano;Shin
通讯作者：
Shin
未排序树的属性语法作为结构化文档的查询语言
DOI：
10.1016/j.jcss.2004.10.008
发表时间：
2005
期刊：
J. Comput. Syst. Sci.
影响因子：
--
作者：
F. Neven
通讯作者：
F. Neven