×
瑞希德·埃哈希德

归纳顺序术语-粒度重写系统。 （英语） Zbl 1175.68220号

Ehrig，Hartmut（编辑）等人，《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，84-98（2008）。
摘要：Sergio Antoy引入了定义树，以设计一种有效的术语重写策略，计算所需的最外层的赎回。在本文中，我们考虑在术语-粒度重写上下文中使用定义树。我们表明，与术语重写系统的情况不同，定义树诱导的策略并不总是在存在术语-粒度重写系统时计算所需的重新定义。然后，我们定义了一个新的类，称为归纳顺序词-粒度重写系统（istGRS），对于该类，所需的重新定义仍然由定义树提供。这类系统一般不会汇合。我们在istGRS上给出了额外的语法准则，以确保关于允许项-图集的合流性。
关于整个系列，请参见[Zbl 1148.68002号].

引用于9文件

MSC公司：

2012年第68季度 语法和重写系统
PDF格式BibTeX公司 XML格式引用
\textit{R.Echahed}，莱克特。注释计算。科学。5214、84-98（2008年；Zbl 1175.68220）
全文： DOI程序

参考文献：

[1] Antoy，S。；基什内尔，H。；Levi，G.，《定义树，代数和逻辑编程》，143-157（1992），海德堡：斯普林格出版社·doi:10.1007/BFb0013825
[2] Antoy，S.，《函数逻辑编程的评估策略》，《符号计算杂志》，40，1875-903（2005）·Zbl 1129.68019号 ·doi:10.1016/j.jsc.2004.12.007
[3] Antoy，S。；Braßel，B.，利用子空间进行计算，Proc。第九届国际ACM SIGPLAN声明性编程原则与实践研讨会（PPDP 2007），121-130（2007），纽约：ACM出版社，纽约
[4] Antoy，S。；布朗，D.W。；Chiang，S.-H.，《非确定性图形重写的惰性上下文克隆》，Electr。注释Theor。计算。科学。，176, 1, 3-23 (2007) ·Zbl 1278.68116号 ·doi:10.1016/j.entcs.2006.10.026
[5] Antoy，S。；Echahed，R。；Hanus，M.，A needed狭窄战略，J.ACM，47，4，776-822（2000）·Zbl 1327.68141号 ·数字对象标识代码：10.1145/347476.347484
[6] 巴伦德雷格特，H。；van Eekelen，M。；Glauert，J。；Kenneway，R。；Plasmeijer，M.J。；睡眠，M。；de Bakker，J.W。；奈曼，A.J。；Trelevan，P.C.，术语图重写，欧洲并行架构和语言PARLE，141-158（1987），海德堡：斯普林格
[7] 伯特·D。；Echahed，R。；Lloyd，J.，《条件重写系统的抽象》，Proc。国际逻辑程序设计研讨会（ILPS），162-176（1995），剑桥：麻省理工学院出版社，剑桥
[8] 杜瓦尔，D。；Echahed，R。；Prost，F.，《将指针重定向建模为循环term-graph重写》，Electr。注释Theor。计算。科学。，176, 1, 65-84 (2007) ·Zbl 1278.68076号 ·doi:10.1016/j.entcs.2006.10.027
[9] Echahed，R。；Janodet，J.C.，《容许图重写和收缩》，Proc。《逻辑程序设计联合国际会议和研讨会》（JICSLP 1998），325-340（1998），剑桥：麻省理工学院出版社，剑桥·Zbl 0949.68081号
[10] Echahed，R。；Janodet，J.-C。；Fiadeiro，J.L.，并行可容许图重写，代数发展技术的最新趋势，122-137（1999），海德堡：施普林格·Zbl 0956.68072号
[11] Echahed，R。；北卡罗来纳州佩尔蒂埃。；Corradini，A。；Ehrig，H。；蒙塔纳里，美国。；里贝罗，L。；Rozenberg，G.，《用指针缩小数据结构》，《图形变换》，92-106（2006），海德堡：施普林格出版社·Zbl 1156.68426号 ·doi:10.1007/11841883_8
[12] Echahed，R。；佩尔蒂埃，N。；Baader，F.，《带指针的数据结构的非严格合流重写系统》，术语重写和应用，137-152（2007），海德堡：斯普林格出版社·Zbl 1203.68072号 ·doi:10.1007/978-3-540-73449-9_12
[13] Ehrig，H。；恩格斯，G。；Kreowski，H.-J。；Rozenberg，G.，《图形语法和图形转换、应用、语言和工具计算手册》（1999年），新加坡：世界科学，新加坡·Zbl 0998.68001号
[14] Ehrig，H。；Kreowski，H.-J。；蒙塔纳里，美国。；Rozenberg，G.，《通过图形转换、并发、并行和分布进行图形语法和计算手册》（1999），新加坡：世界科学出版社，新加坡·Zbl 0951.68049号
[15] Hanus，M.：功能逻辑程序的调用模式分析。In：程序。第十届国际ACM SIGPLAN声明性编程原则与实践会议（PPDP 2008）（2008年7月）（待发布）
[16] Hußmann，H.，非确定性代数规范和非连续项重写，J.Log。课程，12，3-4，237-255（1992）·Zbl 0763.68050号 ·doi:10.1016/0743-1066（92）90026-Y
[17] Kennaway，J.R。；Klop，J.K。；睡眠，M.R。；Vries，F.J.D.，《关于图形重写对模拟术语重写的充分性》，《ACM编程语言与系统汇刊》，16，3，493-523（1994）·数字对象标识代码：10.1145/177492.177577
[18] 洛佩斯·弗拉瓜斯，F.J。；罗德里格斯-霍塔拉，J。；Sánchez-Hernández，J.，调用时间选择语义的简单重写概念，PPDP，第九届国际ACM SIGPLAN声明式编程原理与实践会议，197-208（2007），纽约：ACM，纽约
[19] 普拉普，D。；Ehrig，H。；恩格斯，G。；Kreowski，H.J。；Rozenberg，G.，术语图重写，图形语法和图形转换计算手册，3-61（1999），新加坡：世界科学出版社，新加坡·Zbl 0951.68049号
[20] Rozenberg，G.，《图形语法和图形转换计算手册》，基金会（1997），新加坡：世界科学出版社，新加坡·Zbl 0908.68095号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。