M.罗南睡眠
人员信息
其他同名人员
优化列表
2000 – 2009
2005 【c21】 理查德·肯纳韦 , 保拉·塞弗里 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
无限改写:从语法到语义。 过程、术语和周期 2005 : 148-172
1990 – 1999
1997 [公元12年] 约翰·R·W·格劳特 , 理查德·肯纳韦 , 乔治·A·帕帕佐普洛斯 , M.Ronan睡眠 :
Dactl:一种实验性的图形重写语言。 J.程序。 语言。 5 ( 1 ) : 85-108 ( 1997 ) [公元11年] 理查德·肯纳韦 , 简·威廉·克洛普 , M.罗南睡眠 , 弗·扬·德弗里斯 :
无限Lambda微积分。 西奥。 计算。 科学。 175 ( 1 ) : 93-125 ( 1997 ) 1996 [公元10年] 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
比较Curried和Uncurried Rewriting。 J.塞姆。 计算。 21 ( 1 ) : 15-39 ( 1996 ) [公元20年] Sugwoo Byun公司 , 理查德·肯纳韦 , M.Ronan睡眠 :
Lambda-可定义术语重写系统。 亚洲的 1996 : 106-115 1995 [公元9年] 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
正交项重写系统中的超有限约简。 Inf.计算。 119 ( 1 ) : 18-38 ( 1995 ) [第19条] Sugwoo Byun公司 , 理查德·肯纳韦 , M.Ronan睡眠 :
正交项重写系统的变换。 亚洲的 1995 : 73-87 [第18条] 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
无穷大Lambda微积分和Böhm模型。 区域贸易协定 1995 : 257-270 [第17条] M.Ronan睡眠 :
SEMAGRAPH:术语图重写的理论和实践。 赛格拉 1995 : 268-276 1994 [j8] 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
图形重写对模拟项重写的充分性。 ACM事务处理。 程序。 语言系统。 16 ( 三 ) : 493-523 ( 1994 ) [第16条] 泽纳·M·阿里奥拉 , 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
未定义的句法定义:关于未定义的定义。 节气门执行器控制系统 1994 : 543-554 1991 [第15条] 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
正交项重写系统中的超有限约简(扩展抽象)。 区域贸易协定 1991 : 1-12 1990 [第14条] M.Ronan睡眠 :
图形语法的应用和研究方向。 图文法及其在计算机科学中的应用 1990 : 57-60 [第13条] 约翰·R·W·格劳特 , 理查德·肯纳韦 , M.Ronan睡眠 :
Dactl:一种实验性的图形重写语言。 图文法及其在计算机科学中的应用 1990 : 378-395
1980 – 1989
1989 [j7] 亨德里克·彼得·巴伦德雷特 , 马可·C·J·D·范·埃克伦 , 马林努斯·普拉斯梅耶尔 , 约翰·葛劳特 , 理查德·肯纳韦 , M.Ronan睡眠 :
LEAN:一种基于图形重写的中间语言。 并行计算。 9 ( 2 ) : 163-177 ( 1989 ) [第12条] D.L.McBurney(D.L.麦克伯尼) , M.Ronan睡眠 :
将图形重写为计算模型。 并发:理论、语言和架构 1989 : 235-256 1988 [j6] 理查德·肯纳韦 , M.Ronan睡眠 :
将字符串作为组合器。 ACM事务处理。 程序。 语言系统。 10 ( 4 ) : 602-626 ( 1988 ) [第11条] D.L.McBurney(D.L.麦克伯尼) , M.Ronan睡眠 :
Transputers+虚拟树内核=实际加速。 C³P 1988 : 128-137 1987 [j5] 亨德里克·彼得·巴伦德雷特 , 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 :
Lambda微积分所需的简化和脊椎策略。 Inf.计算。 75 ( 三 ) : 191-231 ( 1987 ) 【j4】 理查德·肯纳韦 , M.Ronan睡眠 :
O(n log n)空间中的变量抽象。 Inf.流程。 莱特。 24 ( 5 ) : 343-349 ( 1987 ) [第10条] 亨德里克·彼得·巴伦德雷特 , 马尔科·C·J·D·范·埃克伦 , 约翰·R·W·格劳特 , 理查德·肯纳韦 , 马林努斯·普拉斯梅耶尔 , M.Ronan睡眠 :
术语图重写。 第(2)部分 1987 : 141-158 【c9】 亨德里克·彼得·巴伦德雷特 , 马可·C·J·D·范·埃克伦 , 约翰·R·W·格劳特 , 理查德·肯纳韦 , 马林努斯·普拉斯梅耶尔 , M.Ronan睡眠 :
基于图形重写的中间语言。 第(2)部分 1987 : 159-175 【c8】 D.L.McBurney(D.L.麦克伯尼) , M.Ronan睡眠 :
ZAPP架构的基于Transputer的实验。 第(1)部分 1987 : 242-259 1986 [j3] 罗伯特·凯勒 , M.Ronan睡眠 :
适用的缓存。 ACM事务处理。 程序。 语言系统。 8 ( 1 ) : 88-108 ( 1986 ) 1983 [注2] J.理查德·肯纳韦 , M.Ronan睡眠 :
声明性语言的新架构。 柔和。 微系统 2 ( 三 ) : 59-70 ( 1983 ) [c7] 理查德·肯纳韦 , M.Ronan睡眠 :
并行语言DyNe的语法和非正式语义。 并发系统分析 1983 : 222-230 1982 【c6】 理查德·肯纳韦 , M.Ronan睡眠 :
作为过程的应用对象。 ICDCS系统 1982 : 718-723 【c5】 理查德·肯纳韦 , M.Ronan睡眠 :
函数语言的并行实现。 ICPP公司 1982 : 168-170 【c4】 理查德·肯纳韦 , M.Ronan睡眠 :
表达式作为进程。 LISP与函数编程研讨会 1982 : 21-28 1981 【c3】 罗伯特·凯勒 , M.Ronan睡眠 :
应用缓存:程序员在应用语言的分布式实现中控制对象共享和生存期。 FPCA公司 1981 : 131-140 【c2】 F.沃伦·伯顿 , M.Ronan睡眠 :
在虚拟处理器树上执行功能程序。 FPCA公司 1981 : 187-194 【c1】 M.Ronan睡眠 , F.沃伦·伯顿 :
朝向零分配并行处理器。 ICDCS系统 1981 : 80-85 1980 [j1] D.B.阿诺德 , M.Ronan睡眠 :
平衡圆括号字符串的统一随机生成。 ACM事务处理。 程序。 语言系统。 2 ( 1 ) : 122-128 ( 1980 )
1970 – 1979
1975 【b1】 M.Ronan睡眠 :
从一类特殊的状态空间表示中提取启发式信息。 英国伦敦布鲁内尔大学, 1975