M.克拉维尔。;埃克,S。;林肯,P。;梅塞盖尔,J。 莫德原则。 (英语) Zbl 0912.68095号 Meseguer,J.(编辑),重写逻辑及其应用。1996年9月3日至6日,美国加利福尼亚州太平洋格罗夫,第一届国际研讨会会议记录。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。第4、25页(1996年)。 摘要:本文介绍了重写逻辑语言Maude的基本概念,并讨论了它的实现。Maude是一种支持正式规范、快速原型和并行编程的广谱语言。莫德的重写逻辑范式包括作为子语言的功能范式和面向对象范式。重写逻辑是反射性的,这一事实导致了新的元编程功能,可以大大提高软件的可重用性和适应性。重写计算的控制是通过逻辑内部定义的内部策略语言实现的。Maude的重写引擎的设计明确目标是具有高度的可扩展性,并支持快速原型和正式方法应用程序,但其半编译技术允许它以良好的性能实现这些目标。关于整个系列,请参见[Zbl 0903.00068号]. 引用于28文件 MSC公司: 2012年第68季度 语法和重写系统 68T27型 人工智能中的逻辑 关键词:重写逻辑语言;莫德 软件:联合;莫德;OBJ3型 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人,in:重写逻辑及其应用。第一届国际研讨会论文集,美国加利福尼亚州太平洋格罗夫,1996年9月3日至6日。阿姆斯特丹:爱思唯尔。25页(1996年;Zbl 0912.68095) 全文: 链接 参考文献: [1] 伯格斯特拉,简;约翰·塔克:用有限方程规范方法描述可计算数据类型。自动化,语言和编程,第七次学术讨论会81,76-90(1980) [2] P.Borovanskí、C.Kirchner和H.Kirchner。通过重写控制重写。本卷·Zbl 0912.68088号 [3] 阿德尔·布胡拉(Adel Bouhoula)、珍妮·皮埃尔·朱安诺(Jean-Pierre Jouannaud)和何塞·梅塞盖尔(JoséMeseguer)。成员关系等式逻辑中的说明和证明。手稿,SRI国际,1996年8月。 [4] 罗德·布斯托尔和约瑟夫·戈根。Clear的语义,一种规范语言。编辑Dines Bjorner,《1979年哥本哈根冬季学校抽象软件规范会议录》,第292-332页。施普林格LNCS 86,1980年·Zbl 0456.68024号 [5] Mani,K.Chandy;Misra,Jayadev:并行程序设计:基础。(1988) ·Zbl 0717.68034号 [6] A.Ciampolini、E.Lamma、P.Mello和C.Stefanelli。分布式逻辑对象:重写逻辑及其实现的片段。本卷·Zbl 0912.68090号 [7] Manuel G.Clavel和JoséMeseguer。重写逻辑中的反思和策略。本卷·Zbl 0917.68107号 [8] Manuel G.Clavel和JoséMeseguer。公理化反射逻辑和语言。格雷戈·基泽尔斯(Gregor Kiczales),编辑,《96年反思学报》,加利福尼亚州旧金山,1996年4月,第263-288页。施乐PARC,1996年。 [9] 史蒂文·艾克。结合常规方程式理论进行快速匹配。本卷。 [10] K.Futatsugi和T.Sawada。Cafe作为可扩展的规范环境。程序中。昆明国际案例研讨会,中国昆明,1994年11月。 [11] J.A.Goguen、T.Winkler、J.Meseguer、K.Futatsugi和J.-P.Jouannaud。介绍OBJ3。技术报告SRI-CSL-92-03,计算机科学实验室,SRI国际,1992年3月。 [12] 基什内尔,C。;基什内尔,H。;Vittek,M.:使用计算系统设计约束逻辑编程语言。约束规划的原理与实践:纽波特论文,133-160(1995) [13] Lam,S.Simon;Shankar,A.Udaya:状态转换系统的关系表示法。IEEE软件工程交易16,No.7,755-775(1990年7月) [14] 帕特里克·林肯(Patrick Lincoln)、纳西索·马丁·奥列特(Narciso Martí-Oliet)和何塞·梅塞盖尔(JoséMeseguer)。重写逻辑中并发系统的规范、转换和编程。G.E.Blelloch、K.M.Chandy和S.Jagannathan,《并行算法规范》编辑,第309-339页。DIMACS系列,第18卷,美国数学学会,1994年。 [15] 纳西索·马丁·奥列特和何塞·梅塞盖尔。将逻辑重写为逻辑和语义框架。技术报告SRI-CSL-93-05,SRI国际,计算机科学实验室,1993年8月。出现在D.Gabbay编辑的《哲学逻辑手册》,Kluwer学术出版社·Zbl 0912.68096号 [16] 何塞·梅塞盖尔(JoséMeseguer)。成员代数。1996年7月9日,达格斯图尔研讨会上关于“规范和语义”的演讲。正在准备扩展版本。 [17] 何塞·梅塞盖尔(JoséMeseguer)。并发对象的逻辑理论。在1990年10月于加拿大渥太华举行的ECOOP-OOPSLA’90年面向对象编程会议上,第101-115页。ACM,1990年。 [18] 何塞·梅塞盖尔(JoséMeseguer)。重写为统一的并发模型。技术报告SRI-CSL-90-02,SRI国际,计算机科学实验室,1990年2月。1990年6月修订。 [19] Meseguer,José:条件重写逻辑作为并发的统一模型。《理论计算机科学》96,第1期,73-155(1992)·Zbl 0758.68043号 [20] 梅塞盖尔,何塞:并发对象的逻辑理论及其在莫德语中的实现。并发面向对象编程的研究方向,314-390(1993) [21] 何塞·梅塞盖尔(JoséMeseguer)。解决并发面向对象编程中的继承异常。奥斯卡·尼尔斯特拉斯(Oscar M.Nierstrasz),编辑,Proc。ECOOP’93,第220–246页。施普林格LNCS 7071993年。 [22] 何塞·梅塞盖尔(JoséMeseguer)。将逻辑重写为并发的语义框架:一份进度报告。在1996年8月于比萨举行的CONCUR'96会议记录中。Springer LNCS,1996年。 [23] 何塞·梅塞盖尔;Goguen,Joseph:顺序排序代数解决了构造函数选择器、多重表示和强制问题。信息与计算103,No.1,114-158(1993)·Zbl 0796.68144号 [24] 何塞·梅塞盖尔(JoséMeseguer)和蒂莫西·温克勒(Timothy Winkler)。Maude中的并行编程。J.-P.Banátre和D.Le Mètayer主编,《高级并行编程语言研究方向》,第253-293页。施普林格LNCS 5741992年。此外,技术报告SRI-CSL-91-08,SRI国际,计算机科学实验室,1991年11月。 [25] C.L.Talcott。演员重写理论。本卷。 [26] P.威里。重写:一种有效的并发模型。在C.Halatsis等人,编辑,PARLE’94,Proc。第六届欧洲并行架构和语言国际会议,希腊雅典,1994年7月,LNCS第817卷,第648-660页。Springer-Verlag,1994年 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。