×
M.克拉维尔。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。

莫德：重写逻辑中的规范和编程。 （英语） Zbl 1001.68059号

西奥。计算。科学。 285，第2期，187-243（2002）.
概要：Maude是一种高级语言和高性能系统，支持重写逻辑中的可执行规范和声明式编程。由于重写逻辑包含等式逻辑，Maude在其功能模块和理论的子语言中也支持等式规范和编程。为Maude选择的底层等式逻辑是成员关系等式逻辑，它具有排序、子部分、运算符重载和可由成员关系和相等条件定义的偏序。重写逻辑是反射性的，从能够在对象级别表达其自身的元级别的意义上来说。Maude系统地利用了反射，赋予该语言强大的元编程能力，包括用户定义的模块操作和用于指导演绎过程的声明性策略。本文解释并举例说明了Maude语言设计的主要概念，包括其底层逻辑、功能、系统和面向对象模块，以及参数化模块、理论和视图。我们还解释了Maude如何支持反思、元编程和内部策略。本文概述了Maude系统实现的基本原理，包括其半编译技术。最后，我们对应用程序、Maude正式环境的开发以及Maude的移动语言扩展做了一些评论。

引用于81文件

MSC公司：

第68季度第42季度 语法和重写系统
68T27型 人工智能中的逻辑

关键词：

莫德；重写逻辑；功能模块；系统模块；参数化；反射；内部战略

软件：

ELAN公司；莫德；OBJ3型；OBJ咖啡馆
PDF格式BibTeX公司 XML格式引用
\textit{M.Clavel}等人，Theor。计算。科学。285，第2号，187--243（2002；Zbl 1001.68059）
全文： 内政部

参考文献：

[1] Astesiano，大肠杆菌。；Kreowski，H.-J。；Krieg-Brückner，B.，《系统规范的代数基础》，IFIP最新报告（1999），Springer:Springer Berlin·Zbl 0922.00008
[2] 盆地，D。；卡维尔，M。；Meseguer，J.，《将逻辑重写为元逻辑框架》（Kapoor，S.；Prasad，S.，《软件技术和理论计算机科学基础第20次会议论文集》，印度新德里，12月13日至15日，《计算机科学讲稿》，第1974卷（2000），Springer:Springer Berlin），55-80·Zbl 1044.03020号
[3] Bergstra，J。；Tucker，J.，通过有限方程规范化方法描述可计算数据类型，（de Bakker，J.W.；van Leeuwen，J.），第七届自动化、语言和编程学术讨论会，荷兰诺德威克霍特，计算机科学讲稿，第81卷（1980），施普林格：施普林格柏林），76-90·Zbl 0449.68003号
[4] P.Borovanskí，Le ContróLe de la Réée criture:Etude et Implantation d'un Formalisme de Strategies。亨利·庞加莱-南希一世大学博士论文，1998年10月。；P.Borovanskí，Le ContróLe de la Réée criture:Etude et Implantation d'un Formalisme de Strategies。1998年10月，亨利·彭加莱-南希大学博士论文。
[5] P.Borovanskí、C.Kirchner、H.Kirchner，《通过改写控制改写》，J.Meseguer（编辑），Proc。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，爱思唯尔，阿姆斯特丹，1996年九月，第168-188页，；P.Borovanskí、C.Kirchner、H.Kirchner，《通过改写控制改写》，J.Meseguer（编辑），Proc。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，爱思唯尔，阿姆斯特丹，1996年九月，第168-188页·Zbl 0912.68088号
[6] P.Borovanskí、C.Kirchner、H.Kirchner，《重写为逻辑和控制的统一规范工具：ELAN语言》，收录于：M.P.a.Sellink（编辑），第二届代数规范理论与实践国际研讨会，荷兰阿姆斯特丹，1997年9月25日至26日，计算电子研讨会。施普林格，柏林，1998年，；P.Borovanskí、C.Kirchner、H.Kirchner，《重写为逻辑和控制的统一规范工具：ELAN语言》，收录于：M.P.a.Sellink（编辑），第二届代数规范理论与实践国际研讨会，荷兰阿姆斯特丹，1997年9月25日至26日，计算电子研讨会。施普林格，柏林，1998年，
[7] P.Borovanskí、C.Kirchner、H.Kirchner，P.-E.Moreau、C.Ringeissen，《ELAN概述》，收录于：C.Kirchner-H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第329-344页，；P.Borovanskí、C.Kirchner、H.Kirchner，P.-E.Moreau、C.Ringeissen，《ELAN概述》，收录于：C.Kirchner-H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第329-344页·Zbl 0917.68022号
[8] P.Borovanskí、C.Kirchner、H.Kirchner，P.-E.Moreau、M.Vittek，《ELAN：基于计算系统的逻辑框架》，摘自：J.Meseguer（编辑），Proc。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，爱思唯尔，阿姆斯特丹，1996年九月，第35-50页，；P.Borovanskí、C.Kirchner、H.Kirchner，P.-E.Moreau、M.Vittek，《ELAN：基于计算系统的逻辑框架》，摘自：J.Meseguer（编辑），Proc。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，爱思唯尔，阿姆斯特丹，1996年九月，第35-50页·Zbl 0912.68091号
[9] Bouhoula，A。；Jouannaud，J.-P。；Meseguer，J.，《隶属关系方程逻辑的规范和证明》，Theoret。计算。科学。，236, 35-132 (2000) ·Zbl 0938.68057号
[10] R.伯斯托尔。；Goguen，J.A.，《Clear的语义，一种规范语言》（Björner，D.，Proc.1979哥本哈根冬季抽象软件规范学校，计算机科学讲稿，第86卷（1980），Springer:Springer-Berlin），292-332·Zbl 0456.68024号
[11] G.Carabetta，P.Degano，F.Gadducci，通过已证明的转换系统和重写逻辑实现CCS语义，见：C.Kirchner，H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第253-272页，；G.Carabetta，P.Degano，F.Gadducci，通过已证明的转换系统和重写逻辑实现CCS语义，见：C.Kirchner，H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第253-272页·Zbl 0917.68126号
[12] Clavel，M.，《重写逻辑中的反思：元逻辑基础和元编程应用》（2002），CSLI出版物：CSLI出版社，加利福尼亚州斯坦福·Zbl 1003.03032号
[13] M.Clavel、F.Durán、S.Eker、P.Lincoln、n.Martñ-Oliet、J.Meseguer，《Maude中的元层级计算》，收录于：C.Kirchner、H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第3-24页，；M.Clavel，F.Durán，S.Eker，P.Lincoln，n.Martı́-Oliet，J.Meseguer，Maude的元级计算，in：C.Kirchner，H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第3-24页·Zbl 0917.68024号
[14] M.Clavel，F.Durán，S.Eker，P.Lincoln，n.Martñ-Oliet，J.Meseguer，J.F.Quesada，Maude:重写逻辑的规范和编程，作为Maude系统文档分发的手册，SRI国际计算机科学实验室，；M.Clavel、F.Durán、S.Eker、P.Lincoln、n.Martñ-Oliet、J.Meseguer、J.F.Quesada、Maude:重写逻辑的规范和编程、作为Maude系统文档分发的手册、计算机科学实验室、SRI国际、，
[15] M.Clavel、F.Durán、S.Eker、P.Lincoln、n.Martñ-Oliet、J.Meseguer、J.F.Quesada、Maude教程、作为Maude系统文档分发的教程、计算机科学实验室、SRI国际。2000年3月25日在德国柏林举行的欧洲软件理论与实践联合会议上发表，；M.Clavel、F.Durán、S.Eker、P.Lincoln、n.Martñ-Oliet、J.Meseguer、J.F.Quesada、Maude教程、作为Maude系统文档分发的教程、计算机科学实验室、SRI国际。2000年3月25日在德国柏林举行的欧洲软件理论与实践联合会议上发表·Zbl 0962.68108号
[16] M.Clavel、F.Durán、S.Eker、P.Lincoln、n.Martñ-Oliet、J.Meseguer、J.F.Quesada，《迈向莫德2.0》，收录于：K.Futatsugi（编辑），Proc。第三届重写逻辑及其应用国际研讨会，WRLA 2000，日本金泽，2000年9月18-20日，理论计算机科学电子笔记，第36卷，爱思唯尔，阿姆斯特丹，2000年，第297-318页，；M.Clavel，F.Durán，S.Eker，P.Lincoln，n.Martı́-Oliet，J.Meseguer，J.F.Quesada，《走向毛德2.0》，载：K.Futatsugi（编辑），Proc。第三届重写逻辑及其应用国际研讨会，WRLA 2000，日本金泽，2000年9月18-20日，理论计算机科学电子笔记，第36卷，爱思唯尔，阿姆斯特丹，2000年，第297-318页·Zbl 0962.68108号
[17] M.Clavel，F.Durán，S.Eker，J.Meseguer，通过重写逻辑中的反射构建等式证明工具，见：Proc。CafeOBJ交响乐团98，日本Numazu，CafeOBJ项目，1998年4月，；M.Clavel，F.Durán，S.Eker，J.Meseguer，通过重写逻辑中的反射构建等式证明工具，见：Proc。CafeOBJ交响乐团98，日本Numazu，CafeOBJ项目，1998年4月，
[18] Clavel，M。；杜兰，F。；埃克，S。；梅塞盖尔，J。；Stehr，M.-O.，Maude as a formal meta-tool，（Wing，J.M.；Woodcock，J.；Davies，J.，Proc.FM'99-formal Methods，计算系统开发中的形式方法世界大会，法国图卢兹，9月20日至24日，第二卷，计算机科学讲义，第1709卷（1999），Springer:Springer Berlin），1684-1703
[19] M.Clavel、S.Eker、P.Lincoln、J.Meseguer，《莫德原则》，摘自：J.Meseguer（编辑），Proc。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，爱思唯尔，阿姆斯特丹，1996年九月，第65-89页，；M.Clavel，S.Eker，P.Lincoln，J.Meseguer，毛德原理，载于：J.Meseguer（编辑），Proc。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，爱思唯尔，阿姆斯特丹，1996年九月，第65-89页，
[20] M.Clavel，J.Meseguer，《条件重写逻辑中的反思》，Theoret。计算。科学。2002年，本卷。；M.Clavel，J.Meseguer，《条件重写逻辑中的反思》，Theoret。计算。科学。2002年，本卷·Zbl 1001.68060号
[21] G.Denker，J.Meseguer，C.L.Talcott，《主动网络和通信协议的形式化规范和分析：Maude经验》，摘自：D.Maughan，G.Koob，S.Saydjari（编辑），Proc。DARPA信息生存能力会议和展览会，DISCEX 2000，希尔顿海德岛，南卡罗来纳州，2000年1月25-27日，IEEE计算机社会出版社，马里兰州银泉，2000年，第251-265页，；G.Denker，J.Meseguer，C.L.Talcott，《主动网络和通信协议的形式化规范和分析：Maude经验》，摘自：D.Maughan，G.Koob，S.Saydjari（编辑），Proc。DARPA信息生存能力会议和展览会，DISCEX 2000，希尔顿海德岛，南卡罗来纳州，2000年1月25-27日，IEEE计算机社会出版社，马里兰州银泉，2000年，第251-265页，
[22] 北卡罗来纳州德肖维茨。；Jouannaud，J.-P.，《重写系统》（van Leeuwen，J.，《理论计算机科学手册》，第B卷：形式模型和语义，第6章（1990年），麻省理工学院出版社/爱思唯尔：麻省理工学出版社/爱思唯尔剑桥，马萨诸塞州，阿姆斯特丹），243-320·Zbl 0900.68283号
[23] 迪亚科内斯库（Diaconescu，R.）。；Futatsugi，K.，CafeOBJ报告，面向对象代数规范的语言、证明技术和方法，AMAST计算系列。第6卷（1998年），《世界科学：世界科学新加坡》·Zbl 0962.68115号
[24] 迪亚科内斯库（Diaconescu，R.）。；Futatsugi，K。；Iida，S.，CafeOBJ中基于组件的代数规范和验证，（Wing，J.M.；Woodcock，J.；Davies，J.，Proc.FM'99-形式方法，计算系统开发中的形式方法世界大会，法国图卢兹，9月20日至24日，第二卷，计算机科学讲义，第1709卷（1999），施普林格：柏林施普林格），1644-1663年
[25] R.Diaconescu，K.Futatsugi，M.Ishisone，T.Sawada，A.T.Nakagawa，《OBJ咖啡馆概述》，收录于：C.Kirchner，H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第75-88页，；R.Diaconescu，K.Futatsugi，M.Ishisone，T.Sawada，A.T.Nakagawa，《OBJ咖啡馆概述》，收录于：C.Kirchner，H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第75-88页·Zbl 0917.68101号
[26] R.Diaconescu，J.Goguen，P.Stefaneas，模块化的逻辑支持，收录于：G.Huet，G.Plotkin，C.Jones（编辑），Proc。逻辑框架研讨会，英国爱丁堡，1991年5月，剑桥大学出版社，剑桥，1991年6月，第83-130页。；R.Diaconescu，J.Goguen，P.Stefaneas，模块化的逻辑支持，收录于：G.Huet，G.Plotkin，C.Jones（编辑），Proc。逻辑框架研讨会，英国爱丁堡，1991年5月，剑桥大学出版社，1991年6月，第83-130页。
[27] F.Durán，《反思模代数及其在毛德语言中的应用》，博士论文，西班牙马拉加大学，1999年6月，；F.Durán，一个反射模代数及其在Maude语言中的应用，博士论文，西班牙马拉加大学，1999年6月，
[28] Durán，F.，Maude的模代数的可扩展性，（Rus，T.，Proc.8th Int.Conf.on Algebraic Methodology and Software Technology，AMAST 2000，Iowa City，Iowa's，USA，May，2000年5月20日至27日，计算机科学讲义，第1816卷（2000），Springer:Springer Berlin），422-437·Zbl 0983.68522号
[29] 杜兰，F。；埃克，S。；林肯，P。；Meseguer，J.，移动Maude原理，（Kotz，D.；Mattern，F.，Proc.2nd Int.Symp.on Agent Systems，mobile Agents，and Applications，Proc.4th Int.Symb.on mobile Agencs，ASA/MA 2000，2000年9月13日至15日，瑞士苏黎世，计算机科学讲义，第1882卷（2000），Springer:Springer Berlin），73-85
[30] F.Durán，J.Meseguer，Maude的可扩展模代数，收录于：C.Kirchner，H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第185-206页，；F.Durán，J.Meseguer，Maude的可扩展模代数，收录于：C.Kirchner，H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第185-206页·Zbl 0919.68076号
[31] F.Durán，J.Meseguer，Full Maude 2.0中的参数化理论和观点，收录于：K.Futatsugi（编辑），Proc。第三届重写逻辑及其应用国际研讨会，WRLA 2000，日本金泽，2000年9月18日至20日，理论计算机科学电子笔记，第36卷，爱思唯尔，阿姆斯特丹，2000年，第319-337页，；F.Durán，J.Meseguer，Full Maude 2.0中的参数化理论和观点，收录于：K.Futatsugi（编辑），Proc。第三届重写逻辑及其应用国际研讨会，WRLA 2000，日本金泽，2000年9月18-20日，理论计算机科学电子笔记，第36卷，爱思唯尔，阿姆斯特丹，2000年，第319-337页，
[32] S.Eker，结合正则方程理论的快速匹配，收录于：J.Meseguer（编辑），Proc。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，爱思唯尔，阿姆斯特丹，1996年九月，第90-108页。；S.Eker，结合正则方程理论的快速匹配，收录于：J.Meseguer（编辑），Proc。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，阿姆斯特丹爱思唯尔，1996年九月，第90-108页·Zbl 0912.68057号
[33] S.Eker，带算子评估策略的术语重写，收录于：C.Kirchner，H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第45-62页。；S.Eker，带算子评估策略的术语重写，收录于：C.Kirchner，H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，第45-62页·Zbl 0917.68113号
[34] K.Futatsugi（编辑），Proc。第三届重写逻辑及其应用国际研讨会，WRLA 2000，日本金泽，2000年9月18-20日，理论计算机科学电子笔记，第36卷，爱思唯尔，阿姆斯特丹，2000年，；K.Futatsugi（编辑），Proc。第三届重写逻辑及其应用国际研讨会，WRLA 2000，日本金泽，2000年9月18日至20日，理论计算机科学电子笔记，第36卷，爱思唯尔，阿姆斯特丹，2000年·Zbl 0966.68088号
[35] F.Gadducci，U.Montanari，《重写的比较逻辑：重写逻辑、动作演算和瓦片逻辑》，《理论家》。计算。科学。，2002年，本卷。；F.Gadducci，U.Montanari，《重写的比较逻辑：重写逻辑、动作演算和瓦片逻辑》，《理论家》。计算。科学。，2002年，本卷·Zbl 1001.68056号
[36] Goguen，J.A。；Meseguer，J.，《用于多重继承、重载、异常和部分操作的有序代数方程推导》，Theoret。计算。科学。，105, 217-273 (1992) ·Zbl 0778.68056号
[37] Goguen，J.A。；温克勒，T。；梅塞盖尔，J。；Futatsugi，K。；Jouannaud，J.-P.，《OBJ简介》，（Goguen，J.A.；Malcolm，G.，《软件工程与OBJ：代数规范在行动中》，《形式方法的进展》，第1章（2000年），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），3-167
[38] Jouannaud，J.-P。；Kirchner，H.，方程组模的一组规则的完备化，SIAM J.Compute。，15, 1155-1194 (1986) ·Zbl 0665.03005号
[39] C.Kirchner，H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998年，；C.Kirchner，H.Kirchner（编辑），Proc。第二届重写逻辑及其应用国际研讨会，WRLA’98，Pont-á-Mousson，法国，1998年9月1-4日，理论计算机科学电子笔记，第15卷，Elsevier，阿姆斯特丹，1998·Zbl 0917.68098号
[40] 基什内尔，C。；基什内尔，H。；Vittek，M.，《使用计算系统设计约束逻辑编程语言》，（Saraswat，V.；van Hentenryck，P.，《约束编程的原理和实践：纽波特论文》（1995），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥），133-160
[41] N.Martñ-Oliet，J.Meseguer，《重写逻辑作为逻辑和语义框架》，D.Gabbay（编辑），《哲学逻辑手册》，第二版，第9卷，Kluwer学术出版社，多德雷赫特，2002年，；N.Martı́-Oliet，J.Meseguer，《重写逻辑作为逻辑和语义框架》，载：D.Gabbay（编辑），《哲学逻辑手册》，第二版，第9卷，Kluwer学术出版社，多德雷赫特，2002年·Zbl 0912.68096号
[42] J.Meseguer，重写为统一的并发模型，技术报告SRI-CSL-90-02，SRI国际，计算机科学实验室，1990年2月，1990年6月修订。；J.Meseguer，《重写为统一的并发模型》，技术报告SRI-CSL-90-02，SRI国际，计算机科学实验室，1990年2月，1990年6月修订·Zbl 0758.68043号
[43] Meseguer，J.，《作为并发统一模型的条件重写逻辑》，Theoret。计算。科学。，96, 1, 73-155 (1992) ·Zbl 0758.68043号
[44] Meseguer，J.，《并发对象的逻辑理论及其在Maude语言中的实现》，（Agha，G.；Wegner，P.；Yonezawa，A.，《并发面向对象编程的研究方向》（1993），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥），314-390
[45] Meseguer，J.，解决并发面向对象编程中的继承异常，（Nierstrasz，O.M.，Proc.7th European Conf.ECOOP’93-object-oriented programming，Kaiserslautern，Germany，July 26-30，1993，计算机科学讲义，Vol.707（1993），Springer:Springer Berlin），220-246
[46] J.Meseguer（编辑），程序。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，爱思唯尔，阿姆斯特丹，1996年，9月，；J.Meseguer（编辑），程序。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，爱思唯尔，阿姆斯特丹，1996年九月，
[47] Meseguer，J.，《重写逻辑作为并发进度报告的语义框架》（Montanari，U.；Sassone，V.，Proc.7th Int.Conf.on CONCUR’96：并发理论，意大利比萨，1996年8月26-29日，计算机科学讲义，第1119卷（1996），Springer:Springer Berlin），331-372·Zbl 1514.68175号
[48] Meseguer，J.，成员代数作为方程规范的逻辑框架，（Parisi-Presicce，F.，Proc.12th Int.Workshop on Recent Trends in Algebraic Development Techniques，WADT'97，Tarquinia，Italy，June 3-7，1997，Selected Papers，Leach Notes in Computer Science，Vol.1376（1998），Springer:Springer Berlin），18-61·Zbl 0903.08009号
[49] Meseguer，J.，重写逻辑的研究方向，（Berger，U.；Schwichtenberg，H.，在德国Marktoberdorf举行的北约计算逻辑高级研究所会议记录，1997年7月29日至8月6日，北约ASI系列F：计算机和系统科学，第165卷（1998），Springer:Springer Berlin），347-398·Zbl 0940.68069号
[50] Meseguer，J.，重写逻辑和Maude：基于对象的分布式系统的广谱语义框架，（Smith，S.F.；Talcott，C.L.，Proc.IFIP Conf.on Formal Methods for Open object based distributed systems IV，FMOODS 2000，2000年9月6日至8日，美国加利福尼亚州斯坦福（2000），Kluwer Academic Publishers：克卢韦尔学术出版社（Dordrecht），89-117·Zbl 0968.68079号
[51] Meseguer，J.，《重写逻辑和Maude:概念和应用》（Bachmair，L.，Proc.11th Int.Conf.on Rewriting Techniques and applications，RTA 2000，Norwich，UK，2000年7月10日至12日，《计算机科学讲义》，第1833卷（2000），施普林格：施普林格-柏林），1-26·Zbl 0964.68069号
[52] 梅塞盖尔，J。；Goguen，J.A.，有序代数解决了构造函数-选择器、多重表示和强制问题，Inform。计算。，104, 1, 114-158 (1993) ·Zbl 0796.68144号
[53] 梅塞盖尔，J。；Talcott，C.L.，并发对象的部分顺序事件模型，（Baeten，J.C.M.；Mauw，S.，Proc.10th Int.Conf.on CONCUR’99，并发理论，荷兰埃因霍温，1999年8月24-27日，计算机科学讲义，第1664卷（1999），施普林格：施普林格柏林），415-430·Zbl 0939.68084号
[54] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0683.68008号
[55] Nipkow，T.，《组合匹配算法：常规情况》，J.符号计算。，12633-653（1991年）·Zbl 0767.68069号
[56] P.C.lveczky，重写逻辑中实时和混合系统的规范与分析，博士论文，挪威卑尔根大学，2000年，；P.C.lveczky，重写逻辑中实时和混合系统的规范与分析，博士论文，挪威卑尔根大学，2000年，
[57] P.C.lveczky，J.Meseguer，《实时建模：实时和混合系统仿真和分析工具》，收录于：K.Futatsugi（Ed.），Proc。第三届重写逻辑及其应用国际研讨会，WRLA 2000，日本金泽，2000年9月18-20日，理论计算机科学电子笔记，第36卷，爱思唯尔，阿姆斯特丹，2000年，第361-383页，；P.C.lveczky，J.Meseguer，《实时建模：实时和混合系统仿真和分析工具》，收录于：K.Futatsugi（Ed.），Proc。第三届重写逻辑及其应用国际研讨会，WRLA 2000，日本金泽，2000年9月18-20日，理论计算机科学电子笔记，第36卷，爱思唯尔，阿姆斯特丹，2000年，第361-383页·Zbl 0962.68109号
[58] P.C.Ølveczky，J.Meseguer，重写逻辑中的实时和混合系统规范，理论。计算。科学。，2002年，本卷。；P.C.Ölveczky，J.Meseguer，重写逻辑中的实时和混合系统规范，定理。计算。科学。，2002年，本卷·Zbl 1001.68061号
[59] J.F.Quesada，基于句法约束传播的SCP解析算法，博士论文，西班牙塞维利亚大学，1997年6月。；J.F.Quesada，基于句法约束传播的SCP解析算法，博士论文，西班牙塞维利亚大学，1997年6月。
[60] J.F.Quesada，Maude解析器：解析和元分析（β）；J.F.Quesada，Maude解析器：解析和元分析
[61] 铃木，T。；米德尔多普，A。；Ida，T.，在右手边有额外变量的条件重写系统的水平影响，（Xiang，J.，Proc.6th Int.Conf on Rewriting Techniques and Applications，RTA’95，Kaiserslautern，Germany，1995年4月5日至7日，计算机科学讲义，第914卷（1995），Springer:Springer Berlin），179-193·Zbl 1503.68159号
[62] C.L.Talcott，《演员改写理论》，J.Meseguer（编辑），Proc。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，爱思唯尔，阿姆斯特丹，1996年九月，第360-383页，；C.L.Talcott，《演员改写理论》，J.Meseguer（编辑），Proc。第1届重写逻辑及其应用国际研讨会，WRLA’96，加利福尼亚州阿西洛马，1996年9月3日至6日，理论计算机科学电子笔记，第4卷，爱思唯尔，阿姆斯特丹，1996年九月，第360-383页，
[63] Talcott，C.L.，分布式系统组件的交互语义，（Najm，E.；Stefani，J.-B.，《开放式基于对象的分布式系统形式化方法的IFIP会议程序》，FMOODS’96（1997），Chapman&Hall:Chapman和Hall London），154-169
[64] Talcott，C.L.，《走向演员系统规范的工具包》，（Rus，T.，Proc.8th Int.Conf on Algebraic Methodology and Software Technology，AMAST 2000，美国爱荷华州爱荷华市，2000年5月20日至27日，计算机科学讲义，第1816卷（2000），Springer:Springer Berlin），391-406·Zbl 0983.68134号
[65] C.L.Talcott，改写逻辑中的行动者理论，Theoret。计算。科学。，2002年，本卷。；C.L.Talcott，重写逻辑中的行动者理论，理论。计算。科学。，2002年，本卷·Zbl 1001.68055号
[66] A.Verdejo，N.Martí-Oliet，《在Maude执行和验证CCS》，技术报告99-00，马德里Complutense大学信息与计划部，2000年2月，；A.Verdejo，N.Martí-Oliet，在Maude执行和验证CCS，技术代表99-00，马德里Complutense大学信息与计划部，2000年2月·Zbl 1086.68552号
[67] Viry，P.，《重写：一种有效的并发模型》，（Halatsis，C.；Maritsas，D.；Philokyprou，G.；Theodoridis，S.，Proc.6th Int.Conf.on PARLE’94 Parallel Architectures and Languages Europe，PARLE Conference，Athens，Greece，1994年7月4-8日，《计算机科学讲义》，第817卷（1994），Springer:Springer Berlin），648-660·Zbl 0875.00086号
[68] P.Viry，重写模块重写系统，技术报告TR-95-20，信息学院，比萨大学，1995年12月，；P.Viry，重写模块重写系统，技术报告TR-95-20，信息学院，比萨大学，1995年12月，
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。