×
约瑟夫·戈根（Joseph A.Goguen）。；何塞·梅塞盖尔

有序代数。一： 多重继承、重载、异常和部分操作的等式推导。 （英语） Zbl 0778.68056号

西奥。计算。科学。 105，第2期，217-273（1992）.
这是大约自1978年以来非正式分发的一份文件的最新版本。它提供了关于排序代数（OSA）的基本事实。第二部分是承诺的，它很好地处理了OSA在异常处理、错误恢复和排序约束方面的使用。
OSA研究的动机有很多：它对继承、多态性、无意义的表达式（如空堆栈的顶部）、在等式定义的子部分上进行的部分运算等主题进行了语义分析。
我们只给出了基本概念。假设\（S，\leq）\）是偏序集。（S）排序的序排序代数（A）是一个（S）分类的代数，这样当（S）时，（A_S\substeq A_{S'}），以及操作（S）满足条件：如果（w），那么（S）。
本文描述了OSA的一个方程证明系统，并给出了条件方程的完备性定理和初始代数构造。存在一个初始代数的存在性定理，以及一个Birkhoff变分定理和一个McKinsey-Malcev拟变分定理。
文中给出了许多与计算机科学相关的例子，并以读者所期望的流畅风格撰写了论文。只有几个小印刷错误。
审核人：S.Bloom（霍博肯）

引用于2评论
引用于116文件

MSC公司：

第68季度55 计算理论中的语义学
08A70号 泛代数在计算机科学中的应用
99年6月 有序结构

关键词：

异常处理；错误恢复；排序约束；继承；多态性；无意义的表达；完备性定理；初始代数；条件方程式；Birkhoff变分定理；麦肯锡-马尔塞夫拟变分定理

软件：

模拟67；毫升；米兰达；哈斯克尔
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Goguen}和\textit{J.Meseguer}，Theor。计算。科学。105，第2号，217--273（1992；Zbl 0778.68056）
全文： 内政部

参考文献：

[1] Birkhoff，G.，《关于抽象代数的结构》，Proc。剑桥菲洛斯。《社会学杂志》，第31期，第433-454页（1935年）·Zbl 0013.00105号
[2] Bruce，K。；Longo，G.，《适度的记录模型》（Proc.Symp.on Logic in Computer Science（1988），IEEE:IEEE New York），38-50
[3] R.伯斯托尔。；Goguen，J.，《将理论结合起来制定规范》（Reddy，R.，Proc.5th Internat.Joint Conf.on Artificial Intelligence（1977），卡内基梅隆大学计算机科学系），1045-1058
[4] R.伯斯托尔。；Goguen，J.，《Clear的语义，一种规范语言》（Bjorner，D.，Proc.1979哥本哈根抽象软件规范冬季学校，Proc.79哥本哈根抽象软件规格冬季学校，计算机科学讲义，第86卷（1980），Springer:Springer-Berlin），292-332·兹比尔0456.68024
[5] R.伯斯托尔。；MacQueen，D。；Sannella，D.，《希望：一种实验性应用语言》（Proc.1st LISP Conf.（1980），斯坦福大学），136-143
[6] Cardelli，L.，《多重继承的语义》，（Kahn，G.；MacQueen，D.；Plotkin，G，《数据类型的语义》。数据类型的语义学，计算机科学讲义，第173卷（1984年），施普林格：施普林格柏林），51-68·Zbl 0543.68011号
[7] Cardelli，L.，《结构子类型和幂型的概念》，（程序设计语言原理研讨会（1988年），计算机械协会：纽约计算机械协会），70-79
[8] Cardelli，L。；Wegner，P.，《关于理解类型、数据抽象和多态性》，《计算调查》，17，4，471-522（1985）
[9] Clocksin，W.F。；梅利什，C.，《Prolog编程》（1981），《施普林格：柏林施普林格》·Zbl 0466.68009号
[10] 科尔梅劳尔。；卡努伊，H。；van Caneghem，M.，《Etude et réalisation d'un système Prolog》（技术报告，智囊团，U.E.r.de Luminy（1979），艾克斯-马赛大学II）
[11] 坎宁安，R.J。；Dick，A.J.，《在类型格上重写系统》（《技术报告》（1983），帝国理工学院计算机系）·兹比尔0575.68043
[12] O.J.达尔。；Myhrhaug，B。；Nygaard，K.，SIMULA 67通用基础语言，（技术报告（1970），挪威计算中心：挪威奥斯陆计算中心），出版物S-22
[13] Futatsugi，K。；J.戈根。；Jouannaud，J.-P。；Mesegeur，J.，OBJ2原理，（Reid，B.，Proc.第12届美国计算机学会编程语言原理研讨会（1985），美国计算机协会：纽约计算机协会），52-66
[14] Futatsugi，K。；J.戈根。；梅塞盖尔，J。；Okada，K.，参数化编程OBJ2，（Balzer，R.，Proc.9th Internat.Conf.on Software Engineering（1987），IEEE Computer Society Press:IEEE Compute Socility Press Silver Spring，MD），51-60
[15] Forschungsbericht第169号（1983年），多特蒙德大学，Abteilung Informatik，也是
[16] （Neuhold，P.，《编程概念的形式化描述》（1979），北荷兰：北荷兰阿姆斯特丹），491-522，也于
[17] Goguen，J.，有序代数（加州大学洛杉矶分校计算机科学系，《技术报告14，计算系列的语义和理论》（1978））·Zbl 0939.68710号
[18] Goguen，J.，参数化编程，Trans。软件工程，SE-10，5，528-543（1984）·Zbl 0545.68017号
[19] Goguen，J.，《一种，无，十万种规范语言》（Kugler，H.-J.，信息处理’86，1986年IFIP大会（1986），Elsevier:Elsevier Amsterdam），995-1003·Zbl 0606.68010号
[20] Goguen，J.，《被认为不需要高阶编程的高阶函数》（Turner，D.，Proc.University of Texas Year of programming，Institute of Declarative Programmings（1989））即将出版；1988年SRI技术报告SRI-CSL-88-1的初步版本
[21] （Clarke，E.；Kozen，D.，Proc.Logics of Programming Workshop。Proc.LogicsofProgramming-Workshop，Telection Notes in Computer Science，Vol.164（1984），Springer:Springer-Berlin），221-256，也提交了初版，见
[22] J.戈根。；Jouannaud，J.-P。；Mesegeur，J.，《有序代数的操作语义》（Brauer，W.，Proc.1985 Internat.Conf.on Automata，Languages and Programming，Proc.1985.Internat.Conf.on Automata，Languages and Program，Telection Notes in Computer Science，Vol.194（1985），Springer:Springer Berlin）
[23] J.戈根。；Meseguer，J.，抽象模块的通用实现、持久互连和实现，（Nielsen，M.；Schmidt，E.M.，Proc.9th Internat.Conf.on Automata，Languages and Programming。Proc.9st Internat.Conf.on Automata，Languages and Proggramming，Telection Notes in Computer Science，Vol.140（1982），Springer:Springer Berlin）， 265-281 ·Zbl 0493.68014号
[24] J.戈根。；Meseguer，J.，《Prolog编程》（报告CSLI-84-15（1984），斯坦福大学语言与信息研究中心）
[25] J.戈根。；Meseguer，J.，J.Logic Programming，1，2，179-210（1984），早期版本出现在·Zbl 0575.68091号
[26] J.戈根。；Meseguer，J.，SIGPLAN通知，22，4，41-48（1987），也在·Zbl 0498.03018号
[27] J.戈根。；Meseguer，J.，SIGPLAN通知，21，10，153-162（1986），初版
[28] 高根，J。；Meseguer，J.，《逻辑编程的模型和等式》，（Ehrig，H.；Levi，G.；Kowalski，R.；Montanari，U.，Proc.1987 TAPSOFT.Proc.1987，TAPSOFT，计算机科学讲义，第250卷（1987），Springer:Springer Berlin），1-22·Zbl 0626.68032号
[29] J.戈根。；Meseguer，J.，《技术报告》CSLI-87-92（1987），斯坦福大学语言与信息研究中心
[30] J.戈根。；Meseguer，J.，重写规则机软件，（Proc.Internat.Conf.on Fifth Generation Computer Systems 1988（1988），新一代计算机技术研究所（ICOT）），628-637
[31] J.戈根。；梅塞盖尔，J。；Plaisted，D.，《OBJ中使用参数化抽象对象的编程》，（Ferrari，D.；Bolognani，M.；Goguen，J.，《软件技术理论与实践》（1983），北荷兰：北荷兰阿姆斯特丹），163-193年
[32] J.戈根。；Parsaye Ghomi，K.，使用参数化抽象模块的代数指称语义，（形式化编程概念。形式化编程概念，计算机科学讲义，第107卷（1981），施普林格：施普林格柏林），292-309·Zbl 0467.68014号
[33] （Gehani，N.；McGettrick，A.，《软件规范技术》（1985），Addison-Wesley:Addison-Whesley Reading，MA），第391-420页，重印于·Zbl 0705.68039号
[34] （Yeh，R.，《程序设计方法的当前趋势》，IV（1978），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州），80-149，发表于·Zbl 0484.68003号
[35] J.戈根。；Winkler，T.，《OBJ3简介》（技术报告SRI-CSL-88-9（1988），SRI国际，计算机科学实验室）
[36] Goldberg，A。；Robson，D.，Languange及其信息（1983），Addison-Wesley：马萨诸塞州Addison-Whesley Reading
[37] Gratzer，G.，《普遍代数》（1979），《施普林格：施普林格-柏林》·Zbl 0182.34201号
[38] Guiho，G.，《多算子代数》（第二届抽象数据类型理论与应用研讨会论文集（1983年），帕索大学：德国帕索大学）
[39] 哈珀，R。；MacQueen，D。；Milner，R.，Standard ML（技术报告ECS-LFCS-86-2（1986），爱丁堡大学计算机科学系）
[40] Hartwig，R.，《带下标变量的语言语法和语义的代数方法》，Period。数学。匈牙利。，15, 1, 61-71 (1984) ·Zbl 0517.68029号
[41] 希金斯，P.J.，《带算子方案的代数》，《数学》。纳克里斯。，27, 115-132 (1963) ·Zbl 0117.25903号
[42] Hoare，C.A.R.，《计算机编程的公理基础》，通信ACM，12，10，576-580（1969）·Zbl 0179.23105号
[43] 胡达克，P。；Wadler，P。；Arvind，函数式编程语言Haskell报告。技术报告YALEU/DCS/RR-666（1988年12月），耶鲁大学计算机科学系，标准草案
[44] Janssen，T.，《蒙塔古语法的基础与应用》（1983年阿姆斯特丹大学博士论文）·Zbl 0604.03001号
[45] Jones，S.P.，《函数编程语言的实现》（1987），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·兹比尔0712.68017
[46] 卡明，S。；Archer，M.，抽象数据类型的部分实现：对错误的不同看法，（数据类型的语义。数据类型的语义，计算机科学讲义，第173卷（1984），施普林格：施普林格柏林），317-336·Zbl 0552.68011号
[47] 基什内尔，C。；基什内尔，H。；Meseguer，J.，《OBJ3的操作语义》（Proc.9th Internat.Conf.on Automata，Languages and Programming，Proc.9st Internat.Conf.on Automata，Languages and Program，Teach Notes in Computer Science，Vol.241（1988），Springer:Springer Berlin），287-301·Zbl 0649.68028号
[48] Kowalski，R.，《解决问题的逻辑》（《技术报告DCL备忘录75》（1974年），爱丁堡大学人工智能系），《人工智能丛书》（阿姆斯特丹，北荷兰特，1979年）·Zbl 0426.68002号
[49] Leinwand，S。；高根，J。；Winkler，T.，《重写规则机的单元和集成架构》（Proc.Internat.Conf.on Fifth Generation Computer Systems 1988（1988），Institute for New Generation Compute Technology（ICOT）），869-878
[50] Lloyd，J.，《逻辑编程基础》（1984），施普林格出版社：柏林施普林格·兹比尔0547.68005
[51] Mac Lane，S.，《工作数学家的类别》（1971），《施普林格：施普林格柏林》·Zbl 0232.18001号
[52] Meseguer，J.，秩序完成monads，代数Universalis，16，63-82（1983）·Zbl 0522.18005号
[53] Meseguer，J.，《通用逻辑》（Ebbinghaus，H.-D.，Proc.Logic Colloquium，1987（1989），北荷兰人：北荷兰阿姆斯特丹），257-329·Zbl 0691.03001号
[54] Meseguer，J.，《技术报告》SRI-CSL-88-13（1988），计算机科学实验室，SRI国际，更长版本
[55] 梅塞盖尔，J。；Goguen，J.，《用多种重写规则进行演绎》（技术报告CSLI-85-42）。技术报告CSLI-85-42，Theoret。计算。科学。（1985年），斯坦福大学语言与信息研究中心
[56] 梅塞盖尔，J。；Goguen，J.，《初始性、归纳和可计算性》（Nivat，M.；Reynolds，J.），《语义学中的代数方法》（1985），剑桥大学出版社：剑桥大学出版社，459-541·Zbl 0571.68004号
[57] Milner，R.，《编程中的类型多态性理论》，J.Compute。系统科学。，17, 3, 348-375 (1978) ·Zbl 0388.68003号
[58] 蒙塔古，R.，《形式哲学：理查德·蒙塔古的论文选集》（1974），耶鲁大学出版社：耶鲁大学出版，耶鲁，由R.托马森编辑和介绍
[59] Mosses，P.，《基本语义代数》（Proc.Internat.Symp.on Semantics of Data Types.Proc.Internet.Symp.on Semanitis of Data Type，计算机科学讲义，第173卷（1985），Springer:Springer-Berlin），87-107·Zbl 0543.68008号
[60] Mosses，P.，统一代数和机构，（技术报告DAIMI PB-274（1989），奥胡斯大学计算机科学系）·Zbl 0716.68066号
[61] O'Donnell，M.，《作为编程语言的等式逻辑》（1985），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0636.68004号
[62] O'Keefe，R.，《逻辑编程的源代码级工具》（Symp.on logic programming，1985），IEEE:IEEE New York），68-72
[63] Parsaye-Ghomi，K.，《高阶数据类型》（博士论文（1982），加州大学洛杉矶分校计算机科学系）
[64] Plaisted，E.，错误表示的初始代数语义（1982），SRI国际，计算机科学实验室
[65] Poigné，A.，《语义代数：高阶结构》（Informatik II（1983），多特蒙德大学）
[66] Poigné，A.，有序代数规范的参数化，（帝国理工学院计算系技术报告草稿（1987））·Zbl 0694.68020号
[67] （Ada编程语言参考手册。Ada编程语参考手册，报告ANSI/MIL-STD-1815A（1983），美国国防部）·Zbl 0513.68005号
[68] Reynolds，J.，《走向类型结构理论》，（编程问题学术讨论会，编程问题学术讨论会，计算机科学讲义，第19卷（1974年），施普林格：施普林格柏林），408-423·Zbl 0309.68016号
[69] Reynolds，J.，《使用范畴理论设计隐式转换和泛型运算符》，（Jones，N.，《语义指导编译器生成》，《语义引导编译器生成》（Semantics Directed Compiler Generation），计算机科学讲义，第94卷（1980），Springer:Springer-Blin），211-258
[70] 斯科特·D。；Strachey，C.，《朝向计算机语言的数学语义》（Proc.21st Symp.on Computers and Automata（1971），布鲁克林理工学院），19-46，也作为技术专题PRG 6，牛津大学编程研究小组出版·Zbl 0268.68004号
[71] Smolka，G.，《顺序排序喇叭逻辑：语义和演绎》，（技术报告SEKI Report Sr-86-17（1986），Fachbereich Informatik，凯泽斯劳滕大学）
[72] 斯莫尔卡，G。；纳特·W。；J.戈根。；Meseguer，J.，SEKI报告SR-87-14（1987），凯泽斯劳滕大学，也出现了
[73] 斯特林，L。；夏皮罗（Shapiro，E.），《序言艺术》（The Art of Prolog）（1986年），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0605.68002号
[74] Stoy，J.，《程序设计语言的指称语义》（1977），麻省理工学院出版社：麻省理学院出版社剑桥
[75] Strachey，C.，《编程语言的基本概念》，《国际计算机编程暑期学校讲稿》，哥本哈根（1967）
[76] Touretzky，D.S.，继承系统的数学，（博士论文（1984年），卡内基梅隆大学）·Zbl 0675.68006号
[77] Turner，D.，一种具有多态类型的非限定函数语言，（Jouannaud，J.-P.，《函数编程语言和计算机架构》，函数编程语言与计算机架构，计算机科学讲义，第201卷（1985年），Springer:Springer-Berlin），1-16·Zbl 0592.68014号
[78] Wadge，W.，《分类代数》（技术报告46（1982），华威大学）
[79] Walther，C.，《基于分辨率和副调制的多分类演算》（Proc.8th Internat.Joint Conf.on Artificial Intelligence（1983），Morgan Kaufman:Morgan Koufman-Los Altos，CA），882-891
[80] Walther，C.，《多种分类统一理论的分类》，（Proc.8th Internat.Conf.on Automated Deduction，Proc.8st Internat.Conf.on Automated Declassion，Letter Notes in Computer Science，Vol.230（1986），Springer:Springer Berlin），525-537·Zbl 0643.68139号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。