×
理查德·肯纳韦

在DACTL中实现术语重写语言。 （英语） Zbl 0698.68013号

西奥。计算。科学。 72，编号2-3，225-249（1990）.
请参阅中的评论Zbl 0645.68018号.

引用于三文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题65 抽象数据类型；代数规范
03年3月 星期四和邮政系统等。
68瓦30 符号计算和代数计算

关键词：

实施;图的重写;函数式语言;评价策略;Dactl公司;翻译

引文：

兹比尔0635.00017;Zbl 0645.68018号

软件：

DACTL公司;清洁
PDF格式BibTeX公司 XML格式引用
\文本{R.Kennaway}，Theor。计算。科学。72，编号2-3225-249（1990年；兹bl 0698.68013）
全文： 内政部

参考文献：

[1] 巴克斯，J.，编程能从冯·诺依曼风格中读出来吗？函数风格及其程序代数，Comm.ACM，21，613-641（1978）·Zbl 0383.68013号
[2] Barendregt，H.P.，《兰姆达演算》（1984），荷兰北部：阿姆斯特丹北部·Zbl 0549.03012号
[3] 巴伦德雷格特，H.P。；van Eekelen，M.C.J.D。；Glauert，J.R.W。；Kennaway，J.R。；Plasmeijer，M.J。；Sleep，M.R.，术语图重写，（Proc.PARLE会议，Proc.PARRE会议，计算机科学讲稿，259（1987），Springer:Springer Berlin），141-158·Zbl 0681.68037号
[4] Bergstra，J.A。；Klop，J.W.，《条件重写规则：汇合与终止》（Report IW 198/82（1982），Stichting Mathematisch Centrum:Stichtning Mathematich Centrum Amsterdam）·Zbl 0658.68031号
[5] Berry，G.，类型lambda-calculi的稳定模型，（Ausiello，G.；Böhm，C.，Proc.5th Internat.Conf.on Automata，Languages，and Programming。Proc.5st Internat.Conf.on Automata，Languages，and Programming，Leach Notes in Computer Science，62（1978），Springer:Springer Berlin）·Zbl 0382.68041号
[6] 布鲁斯·T·H。；van Eekelen，M.C.J.D。；医学博士van Leer。；Plasmeijer，M.J.，《Clean:函数图重写语言》（内部报告95（1987），奈梅亨大学计算科学系）·Zbl 0633.68003号
[7] Burn，G.，《求值变换器——函数语言并行求值模型》，Proc。第三国际。函数式编程语言和计算机体系结构会议（1987）·Zbl 0624.68014号
[8] R.M.伯斯托尔。；MacQueen，D.B。；Sannella，D.T.，《希望：一种实验性应用语言》（报告CSR-62-80（1980），爱丁堡大学计算机科学系）
[9] Clare，A.R.，《评估声明式编程》（Proc.Alvey Technical Conference（1988），IEF:IEF London）
[10] Clare，A.R.，《评估声明式编程》（博士论文（1988年），东安格利亚大学信息系统学院）
[11] Glauert，J.R.W。；肯尼韦，J.R。；Sleep，M.R.，Dactl:基于图形简化的计算模型和编译器目标语言，ICL Tech.J.，5，509-537（1987）
[12] Glauert，J.R.W。；肯尼韦，J.R。；睡眠，M.R。；Sommer，G.W.，《Dactl最终规范》（报告SYS-C88-11（1989），东安格利亚大学信息系统学院）
[13] Glauert，J.R.W.，《Dactl信息》，（Alvey技术会议（1988年），IEE:IEE伦敦）
[14] Huet，G。；Lévy，J.J.，按需调用计算是无歧义的术语重写系统（报告359（1979），IRIA）
[15] Kennaway，J.R.，《通过并行重写实现功能Dactl的正确性》（Alvev技术会议（1988），IEE:IEE伦敦）·Zbl 0645.68018号
[16] Laville，A.，《惰性模式匹配算法的实现》，（Ganzinger，H.，Proc.第二届欧洲编程交响曲，Proc.《第二届欧盟编程交响乐》，计算机科学讲稿，300（1988），Springer:Springer Berlin）
[17] Milner，R.，标准ML提案，Proc。ACM Lisp和函数编程会议，184-197（1984）
[18] O'Donnell，M.J.，《作为编程语言的等式逻辑》（1985），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0636.68004号
[19] Peyton-Jones，S.L.，《函数式编程语言的实现》（1987），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯，新泽西州·Zbl 0712.68017号
[20] Turner，D.A.，Miranda:一种具有多态类型的非限定语言，（Jouannaud，J.P.，《函数编程语言和计算机体系结构汇编》，《函数程序语言和计算机架构汇编》，计算机科学讲稿，201（1985），Springer:Springer Berlin）·兹比尔0592.68014
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。