×
拉兹万·迪亚科内斯库;Ţuţu，伊奥努

关于结构化规范的代数。 （英语） Zbl 1252.68199号

西奥。计算。科学。 412，第28号，3145-3174（2011）.
摘要：我们开发了一个面向模型表示的结构化规范的模块代数。我们的工作扩展了现有理论，使用非保护输入模式的规范构建操作符和新的代数规则（尤其是初始语义），并升级了参数化模块的pushout-style语义，以捕获（可能的）参数化模块体和参数实例之间的共享。我们指定了一组在实际情况下平滑满足的充分抽象条件，并证明了多参数的并行实例化和串行实例化之间的同构性。我们的模块代数开发是在抽象机构的层次上完成的，这意味着我们的结果非常通用，并且直接适用于严格基于某些逻辑系统的各种规范和编程形式。

引用于1审查
引用于9文件

MSC公司：

68问题65 抽象数据类型；代数规范

关键词：

模块系统;模代数;结构化规范;代数规范;制度理论

软件：

OBJ3型;OBJ咖啡馆
PDF格式BibTeX公司 XML格式引用
\textit{R.Diaconescu}和\textit{I.u u}，Theor。计算。科学。412，第28号，3145-3174（2011；Zbl 1252.68199）
全文： 内政部

参考文献：

[1] 阿达梅克，吉尔；霍斯特·赫里奇；Strecker，George，《抽象与具体分类》（1990），John Wiley·Zbl 0695.18001号
[2] Marc Aiguier；Fabrice Barbier，《Beth可定义定理的机构依赖证明》，Studia Logica，85，3，333-359（2007）·Zbl 1134.03043号
[3] 伯格斯特拉，简；希林，简；Paul Klint，模块代数，计算机协会杂志，37，2，335-372（1990）·Zbl 0696.68040号
[4] 伯格斯特拉，简；John Tucker，《有理复数的基本代数规范》（Futatsugi，Kokichi；Meseguer，José；Jouannaud，Jean-Pierre，Algebra，Meaning and Computation）（纪念Joseph Goguen教授的节日）。代数、意义和计算（纪念约瑟夫·戈根教授的节日），LNCS，第4060卷（2006年），斯普林格·弗拉格：斯普林格尔·弗拉格-柏林-海德堡），459-475·Zbl 1132.68485号
[5] Francis Borceux，《范畴代数手册》（1994），剑桥大学出版社·Zbl 0911.18001号
[6] Borzyszkowski，Tomasz，结构化规范的逻辑系统，理论计算机科学，286297-245（2002）·Zbl 1061.68104号
[7] 布斯托尔，罗德；约瑟夫·戈根（Joseph Goguen），《将理论结合起来制定规范》（Reddy，Raj，Proceedings，Fifth International Joint Conference on Artificial Intelligence，1977），卡内基梅隆大学计算机科学系，1045-1058
[8] 布斯托尔，罗德；约瑟夫·戈根（Joseph Goguen），《Clear的语义，一种规范语言》（The semantics of Clear，a specification language）（比约纳（Bjorner），迪内斯（Dines），1979年哥本哈根抽象软件规范冬季学校，1979年哥本哈根抽象软件规范冬天学校，计算机科学讲义，第86卷（1980），施普林格），292-332·Zbl 0456.68024号
[9] 埃米尔·塞内斯库，维吉尔；罗什乌，格里戈尔，弱包含系统，计算机科学中的数学结构，7，2，195-206（1997）·Zbl 0886.18001号
[10] Diaconescu，Rézvan，《机构中的初等图》，《逻辑与计算杂志》，14，5，651-674（2004）·Zbl 1104.03036号
[11] Diaconescu，Rézvan，克雷格插值定理的机构依赖证明，Studia Logica，77，1，59-79（2004）·Zbl 1048.03026号
[12] Diaconescu，Rézvan，机构依赖模型理论（2008），Birkhäuser·Zbl 1144.03001号
[13] 迪亚科内斯库，勒兹温；五指、高基、(OBJ咖啡馆报告：面向对象代数规范的语言、证明技术和方法。OBJ咖啡馆报告：面向对象代数规范的语言、证明技术和方法，AMAST计算系列，第6卷（1998年），《世界科学》·Zbl 0962.68115号
[14] Rázvan Diaconescu，Joseph Goguen，Petros Stefaneas，模块化的逻辑支持，收录于：Gerard Huet和Gordon Plotkin（编辑），《逻辑环境》，剑桥，1993年，第83-130页。1991年5月在苏格兰爱丁堡举行的研讨会记录。；Rázvan Diaconescu，Joseph Goguen，Petros Stefaneas，模块化的逻辑支持，收录于：Gerard Huet和Gordon Plotkin（编辑），《逻辑环境》，剑桥，1993年，第83-130页。1991年5月在苏格兰爱丁堡举行的研讨会记录。
[15] 沃纳·菲（Werner Fey），《ACT TWO的语用学、概念、语法、语义和正确性概念：一种代数模块规范和互连语言》（Pragmatics，concepts，syntax，semantics and corrective conceptions of ACT TWO:a algebratic module specification and interconnection language）。；沃纳·菲（Werner Fey），《ACT TWO的语用学、概念、语法、语义和正确性概念：代数模块规范和互连语言》（Pragmatics，concepts，syntax，semantics and correctivity conceptions of ACT TWO:a algebral module specification and interconnection language）·兹比尔1086.68521
[16] 约瑟夫·戈根（Joseph Goguen）；罗德·伯斯托尔（Rod Burstall），《机构：规范和编程的抽象模型理论》（Institutions:abstract model theory for specification and programming），《计算机协会杂志》（Journal of Association for Computing Machinery），39，1，95-146·Zbl 0799.68134号
[17] 约瑟夫·戈根（Joseph Goguen）；Diaconescu，Rézvan，《有序代数的牛津调查》，《计算机科学中的数学结构》，4，4，363-392（1994）·兹比尔0939.68710
[18] 约瑟夫·戈根；Meseguer，José，有序代数解决构造函数选择器、多重表示和强制问题，（计算机科学第二届逻辑研讨会论文集（1987），IEEE计算机学会），18-29，另见CSLI-87-92，斯坦福大学语言与信息研究中心，1987年3月；中的修订版本信息与计算，103, 1993 ·Zbl 0796.68144号
[19] 约瑟夫·戈根（Joseph Goguen）；Rošu，Grigore，《在包容性机构上构建隐藏信息模块》（From Object-Orientation to Formal Methods.From Object-Orientation to Formal Methods），《计算机科学讲义》，第2635卷（2004），施普林格出版社），96-123·Zbl 1278.68203号
[20] 约瑟夫·戈根（Joseph Goguen）；蒂莫西·温克勒；何塞·梅塞盖尔；Kokichi Futatsugi；Jouannaud，Jean-Pierre，《OBJ简介》（Goguen，Joseph；Malcolm，Grant，《OBJ:实际代数规范》（2000），Kluwer）
[21] 霍奇斯，威尔弗里德，模型理论（1993），剑桥大学出版社·Zbl 0789.03031号
[22] 莱恩（Lane），桑德斯·麦克（Saunders Mac），《工作数学家分类》（Categories for the Working Mathematician）（1998），斯普林格（Springer）·Zbl 0906.18001号
[23] 何塞·梅塞盖尔（JoséMeseguer），《普通逻辑》（Ebbinghaus，H.-D.；等，《逻辑学术讨论会论文集》（Proceedings，Logic Colloqueium），1987（1989），北荷兰人），275-329·Zbl 0691.03001号
[24] （Mosses，Peter D.，CASL参考手册。CASL参考指南，计算机科学课堂讲稿，第2960卷（2004），Springer）·Zbl 1046.68001号
[25] 安德烈·波佩斯库；⑩erbénuţ\355 ;ņâe，Traian；罗什乌，格里戈尔，《插值的语义方法》，《理论计算机科学》，410，12-13，1109-1128（2009）·Zbl 1159.03023号
[26] 罗什，格里戈尔，包容性方程逻辑中的公理化，计算机科学中的数学结构，12，5，541-563（2002）·Zbl 1019.03050号
[27] 唐纳德·桑内拉（Donald Sannella）、安德烈·塔莱基（Andrzej Tarlecki），《代数规范和形式程序开发基础》，剑桥大学出版社（正在出版）。；唐纳德·桑内拉（Donald Sannella）、安德烈·塔莱基（Andrzej Tarlecki），《代数规范和正式程序开发基础》，剑桥大学出版社（出版中）·Zbl 1237.68129号
[28] 唐纳德·桑内拉（Donald Sannella）；Tarlecki，Andrzej，《任意机构的规范，信息与控制》，76，165-210（1988）·Zbl 0654.68017号
[29] Andrzej Tarlecki，《关于抽象代数机构中自由模型的存在性》，《理论计算机科学》，37269-304（1986）·Zbl 0608.68014号
[30] 安德烈·塔莱基（Andrzej Tarlecki）；布斯托尔，罗德；Joseph Goguen，《计算语义的一些基本代数工具》，第3部分：索引类别，理论计算机科学，91，239-264（1991）·兹伯利0755.18004
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。