×

莫德原则。 (英语) Zbl 0912.68095号

Meseguer,J.(编辑),重写逻辑及其应用。1996年9月3日至6日,美国加利福尼亚州太平洋格罗夫,第一届国际研讨会会议记录。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。第4、25页(1996年)。
摘要:本文介绍了重写逻辑语言Maude的基本概念,并讨论了它的实现。Maude是一种支持正式规范、快速原型和并行编程的广谱语言。莫德的重写逻辑范式包括作为子语言的功能范式和面向对象范式。重写逻辑是反射性的,这一事实导致了新的元编程功能,可以大大提高软件的可重用性和适应性。重写计算的控制是通过逻辑内部定义的内部策略语言实现的。Maude的重写引擎的设计明确目标是具有高度的可扩展性,并支持快速原型和正式方法应用程序,但其半编译技术允许它以良好的性能实现这些目标。
关于整个系列,请参见[Zbl 0903.00068号].

MSC公司:

2012年第68季度 语法和重写系统
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 链接

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。