×
范德波尔（Jaco Van De Pol）

即时：关于战略注释。 （英语） Zbl 1268.68104号

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，41-63（2001）。
小结：研究了一种简单的策略注释，产生了一类策略，包括最左-最内的策略。结果表明，在注释的某些限制下，可以编写一个解释器，在自下而上的遍历中计算术语的正规形式。主要贡献是证明了该解释器的正确性。此外，还提供了一个默认的策略注释，称为just-in-time，它满足解释器的标准。对于许多有趣的示例，即时策略的终止行为比最内部的重写要好。
关于整个系列，请参见[Zbl 1266.68016号].

引用于6文件

MSC公司：

2012年第68季度 语法和重写系统
68号30 软件工程的数学方面（规范、验证、度量、需求等）

软件：

莫德；ATERM公司；OBJ3型
PDF格式BibTeX公司 XML格式引用
\textit{J.Van De Pol}，电子。注释Theor。计算。科学。57、41-63（2001年；Zbl 1268.68104）
全文： 内政部

参考文献：

[1] 巴德，F。；Nipkow，T.，《术语改写和所有这些》（1998年），剑桥大学出版社
[2] 博罗万斯克，P。；基什内尔，C。；基什内尔，H。；Ringeissen，C.，《用ELAN中的策略重写：功能语义学》，《国际计算机科学基础杂志》（2001年3月）
[3] 范登·布兰德，M.G.J。；德容，H.A。；Klint，P。；Olivier，P.A.，《高效注释术语》，《软件——实践与经验》，30，3，259-291（2000）
[4] M.G.J.van den Brand、P.Klint和P.A.Olivier。ASF+SDF的编译和内存管理。在瑞士。，编辑，第八届国际编译器构造大会CC'99第1575卷LNCS公司; M.G.J.van den Brand、P.Klint和P.A.Olivier。ASF+SDF的编译和内存管理。在瑞士。，编辑，第八届国际编译器构造大会CC'99第1575卷LNCS公司
[5] M.Clavel、F.Durán、S.Eker、P.Lincoln、n.Martí-Oliet、J.Meseguer和J.F.Quesada。莫德系统。在P.Narendran和M.Rusinovitch编辑中，程序。第十届国际重写技术与应用大会（RTA-99）第1631卷LNCS公司; M.Clavel、F.Durán、S.Eker、P.Lincoln、n.Martí-Oliet、J.Meseguer和J.F.Quesada。莫德系统。在P.Narendran和M.Rusinovitch编辑中，程序。第十届国际重写技术与应用大会（RTA-99）第1631卷LNCS公司
[6] 福克金，W。；卡佩尔曼，J。；Walters，P.，《ARM力所能及的范围内：通过最小重写系统编译左线重写系统》，ACM Trans。关于编程语言和系统，20，3，679-706（1998）
[7] 福克金，W。；卡佩尔曼，J。；Walters，P.，《渴望的机器上的懒惰重写》，ACM Trans。关于编程语言和系统，22，1，45-86（2000年1月）
[8] 福克金，W。；van de Pol，J.C.，《模拟作为重写系统的正确转换》，（普里瓦拉，I.；鲁奇卡，P.，第22届国际计算机科学数学基础研讨会（MFCS’97）LNCS 1295（1997），施普林格：斯普林格-布拉迪斯拉发），249-258·Zbl 0941.68067号
[9] J.戈根。；温克勒，T。；梅塞盖尔，J。；Futatsugi，K。；Jouannaud，J.-P.，《介绍OBJ》（Goguen，J.；Malcolm，G.，《OBJ软件工程：代数规范的作用》（2000），Kluwer）
[10] J.F.Groote和J.C.van de Pol。等式二元决策图。编辑M.Parigot和A.Voronkov，程序设计和推理逻辑，LPAR20001955年第卷LNAI公司; J.F.Groote和J.C.van de Pol。等式二元决策图。在M.Parigot和A.Voronkov的编辑中，程序设计和推理逻辑，LPAR20001955年第卷LNAI公司·Zbl 0988.68590号
[11] Klop，J.W.，术语重写系统，（Gabbay，D.；Abramski，S.；Maibaum，T.，《计算机科学逻辑手册》，第2卷（1992），牛津大学出版社）·Zbl 0657.68028号
[12] S.卢卡斯。带有策略注释的术语重写的计算属性。在程序。Primeras Jornadas sobre Programación y Lenguajes（2001年项目）; S.卢卡斯。带有策略注释的术语重写的计算属性。在程序。Primeras Jornadas sobre Programación y Lenguajes（2001年项目）·兹比尔1275.68084
[13] S.卢卡斯。用策略注释终止重写。编辑R.Nieuwenhuis和A.Voronkov，程序。第八届国际编程、人工智能和推理逻辑大会，LPAR’01第2250卷LNAI公司; S.卢卡斯。用策略注释终止重写。编辑R.Nieuwenhuis和A.Voronkov，程序。第八届国际编程、人工智能和推理逻辑大会，LPAR’01第2250卷印度海军·Zbl 1275.68084号
[14] S.P.Luttik和E.Visser。重写策略的规范。编辑M.P.A.Sellink，第二届代数规格说明理论与实践国际会议（ASF+SDF'97）; S.P.Luttik和E.Visser。重写策略的规范。编辑M.P.A.Sellink，第二届代数规格说明理论与实践国际会议（ASF+SDF'97）
[15] T.Nagaya。术语重写系统的约简策略; T.Nagaya。术语重写系统的约简策略·Zbl 0943.68091号
[16] A.T.Nakagawa、T.Sawada和K.Futatsugi。CafeOBJ用户手册，1.3版。可通过以下方式获得http://www.ipa.go.jp/STC/CafeP/index-e.html; A.T.Nakagawa、T.Sawada和K.Futatsugi。CafeOBJ用户手册，1.3版。可通过以下方式获得http://www.ipa.go.jp/STC/CafeP/index-e.html
[17] M.Nakamura和K.Ogata。具有和不具有按需标志的头部范式的评估策略。编辑K.Futatsugi，第三届重写逻辑及其应用国际研讨会（WRLA 2000）第36卷理论计算机科学电子笔记; M.Nakamura和K.Ogata。具有和不具有按需标志的头部范式的评估策略。编辑K.Futatsugi，第三届重写逻辑及其应用国际研讨会（WRLA 2000）第36卷理论计算机科学电子笔记·Zbl 0962.68083号
[18] K.Ogata和K.Futatsugi。使用评估策略实现术语重写。在H.Glaser、P.Hartel和H.Kuchen编辑中，第九国际交响乐团。关于编程语言：实现、逻辑和程序，PLILP97第1292卷LNCS公司; K.Ogata和K.Futatsugi。使用评估策略实现术语重写。在H.Glaser、P.Hartel和H.Kuchen编辑中，第九国际交响乐团。关于编程语言：实现、逻辑和程序，PLILP97第1292卷LNCS公司
[19] E.维瑟。Stratego教程和参考手册。可通过以下方式获得http://www.stratego-language.org/; E.维瑟。Stratego教程和参考手册。可通过以下方式获得http://www.stratego-language.org/
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。