×
安德烈·塔莱基

抽象代数机构中的拟变元。 （英语） Zbl 0622.68033号

J.计算。系统。科学。 33, 333-360 (1986).
作者专门介绍了由J.A.戈根和R.M.布尔斯托尔【Lect.Notes Compute.Sci.164，221-256（1984；Zbl 0543.68021号)]获得他自己的抽象代数制度的概念。证明了在抽象代数机构中，拟变量和严格拟变量分别被刻画为蕴涵类和严格蕴涵类。这使得作者能够呈现出最一般的代数机构的特征，这些机构强烈承认初始语义[参见。A.塔莱基，提奥。计算。科学。37, 269-304 (1985;Zbl 0608.68014号)]用更标准的语法术语。这些一般考虑适用于三类常见的全代数、偏代数和连续代数。
审核人：H.西村

引用于25文件

MSC公司：

68问题65 抽象数据类型；代数规范
68第05页 数据结构

关键词：

抽象代数制度;准变分;关联类;初始语义;连续代数

引文：

Zbl 0543.68021号;Zbl 0608.68014号

软件：

毫升
PDF格式BibTeX公司 XML格式引用
\textit{A.Tarlecki}，J.计算。系统。科学。3333-360（1986年；兹bl 06226.88033）
全文： DOI程序

参考文献：

[1] Goguen，J.A。；撒切尔，J.W。；Wagner，E.G.，《抽象数据类型的规范、正确性和实现的初始代数方法》（Yeh，R.T.，IBM研究报告，RC 6487）。IBM研究报告，RC 6487，“编程方法学的当前趋势”，第4卷，数据结构（1978），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西），80-149
[2] 阿达梅克，J。；Nelson，E。；Reiterman，J.，连续代数的Birkhoff多样性定理，代数普遍性，20，328-350（1985）·兹比尔0594.08005
[3] Andreka，H。；Nemeti，I.，通过范畴理论将簇和拟簇的概念推广到部分代数，（数学论文（Rozprawy Maternal yczne），204（1983）），华沙·Zbl 0518.08007号
[4] 还有数学。仪表悬挂。阿卡德。科学。，1976年第5号预印本。；还有数学。仪表悬挂。阿卡德。科学。，1976年第5号预印本。
[5] Andreka，H。；Nemeti，I.，根据概念子范畴制定的一般公理化定理，（Csakany，B.；Fried，E.；Schmidt，E.T.，《对泛代数的贡献》，Proc.Coll.Esztergom 1977。对泛代数的贡献，Proc。科尔。Esztergom 1977，数学学会学术讨论会，Janos Bolyai，第29卷（1981），北荷兰：北荷兰阿姆斯特丹），13-35·Zbl 0489.03006号
[6] Andreka，H。；Nemeti，I.，用类别表示所有一阶公式的注入性，演示数学。，12, 717-732 (1979) ·Zbl 0497.03029号
[7] Banaschewski，B。；Herrlich，H.，《可由暗示定义的子类别》，休斯顿数学杂志。，2, 149-171 (1976) ·Zbl 0344.18002号
[8] Barwise，K.J.，《抽象模型理论公理》，《数学年鉴》。逻辑，7221-265（1974）·Zbl 0324.02034号
[9] Birkhoff，G.，《关于抽象代数的结构》，（Proc.CambridgePhilos.Soc.，31（1935）），433-454·Zbl 0013.00105号
[10] s.L.Bloom和E.G.Wagner多种分类理论及其代数，以及来自计算机科学的示例，工作文件在美国-法国联合交响乐团。《代数在语言定义和计算中的应用》，枫丹白露出版。；s.L.Bloom和E.G.Wagner多种分类理论及其代数，以及来自计算机科学的示例，工作文件在美国-法国联合交响乐团。《代数在语言定义和编译中的应用》，枫丹白露出版。
[11] Broy先生。；Wirsing，M.，部分抽象类型，Acta Inform。，18, 47-64 (1982) ·兹伯利0494.68020
[12] Burmeister，P.，《部分代数——部分代数二值模型理论统一方法综述》，《代数普遍》，第15期，第306-358页（1982年）·Zbl 0511.03014号
[13] R.M.伯斯托尔。；Goguen，J.A.，《Clear的语义，一种规范语言》，（《抽象软规范高级课程汇编》，哥本哈根。《抽象软规格高级课程汇编”，哥本哈根，计算科学讲义第86号（1980），施普林格：施普林格柏林），292-332·Zbl 0456.68024号
[14] R.M.Burstall和J.A.Goguen代数、理论与自由：计算机科学家入门，在里面“1981年莱德尔马克托伯多夫北约暑期学校”；R.M.Burstall和J.A.Goguen代数、理论与自由：计算机科学家入门，在里面《1981年莱德尔马克托伯多夫北约暑期学校学报》·Zbl 0518.68009号
[15] R.L.de Carvalho、T.S.E.Maibaum、T.H.C.Pequeno、A.A.Pereda和P.A.S.Veloso“抽象数据类型和数据结构理论的模型理论方法”，研究报告，CS-80-22，安大略省滑铁卢；R.L.de Carvalho、T.S.E.Maibaum、T.H.C.Pequeno、A.A.Pereda和P.A.S.Veloso“抽象数据类型和数据结构理论的模型理论方法”，研究报告，CS-80-22，安大略省滑铁卢
[16] Chang，C.C。；Keisler，H.J.，《模型理论》（1973），《北荷兰：北荷兰阿姆斯特丹》·Zbl 0276.02032号
[17] Ehrig，H。；瓦格纳，E.G。；Thatcher，J.W.，《带生成约束的代数规范》（Proceedings，10th Int.Colloq.Automata Lang.and Programm.Proceeding，10th Int.Colloq Automata Lang.and Programm，Barcelona），巴塞罗那，第十届Int.ColloS Automata语言与程序，第十期。自动化语言和程序。，巴塞罗那，计算机课堂讲稿。科学。，第154卷（1983年），《施普林格·弗拉格：施普林格尔·弗拉格纽约/柏林》，188-202年·Zbl 0518.68019号
[18] Gogolla，M.，《带部分排序和声明的代数规范》（Abteilung Informatik（1983），多特蒙德大学：西德多特蒙德大学），Fb。169 ·Zbl 0544.68015号
[19] M.果戈拉。；Drosten，K.公司。；美国利佩克。；Ehrich，H.D.，《允许例外和错误的规范的代数和操作语义》，（Abteilung Informatik（1982），多特蒙德大学：西德多特蒙德大学），Fb。140 ·Zbl 0553.68012号
[20] Goguen，J.A.，抽象数据类型的抽象错误，（Proceedings，Int.Fed.Inform.Process Working Conf.on the Formal Description of Programming Concepts，Proceedings.Int.Fed.Inform.Process Worksting Conf.on the Formal Description of Programming Conceptions，New Brunswick，New Jersey（1977））·兹伯利0373.68024
[21] Goguen，J.A.，《有序代数：异常与错误排序、胁迫与重载算子》（Semantics and Theory of Computation Report 14（1978），加州大学洛杉矶分校计算机科学系）
[22] Goguen，J.A。；Burstall，R.M.，介绍机构，（Clarke，E.，Proceedings，Logics of Programming Workshop。Proceedings，Logics of Programming Workshop，《计算机科学讲义》，第164卷（1984年），施普林格出版社：施普林格出版社，柏林/纽约），221-256·Zbl 1288.03001号
[23] Goguen，J.A。；Burstall，R.M.，《计算语义的一些基本代数工具》。第1部分。逗号类别，连字号，签名和理论，Theor。计算。科学。，31, 175-210 (1984) ·Zbl 0566.68065号
[24] Goguen，J.A。；Meseguer，J.，Houston J.数学。，11, 307-334 (1985) ·Zbl 0602.08004号
[25] Goguen，J.A。；Meseguer，J.，《初等性、归纳和可计算性》（Nivat，M.；Reynolds，J.《代数在语言定义和编译中的应用》（1983），剑桥大学出版社：剑桥大学出版社伦敦/纽约）·Zbl 0571.68004号
[26] Grätzer，G.，《通用代数》（1979），施普林格出版社：纽约施普林格·Zbl 0182.34201号
[27] Guttag，J.V.，抽象数据类型编程的规范和应用，（多伦多大学博士论文（1975））·Zbl 0395.68020号
[28] Herrlich，H。；Strecker，G.E.，范畴理论（1973），Allyn&Bacon:Allyn和Bacon Boston·Zbl 0265.18001号
[29] MacLane，S.，《工作数学家的类别》（1971年），Springer-Verlag:Springer-Verlag纽约·Zbl 0232.18001号
[30] 马赫，B。；Markowsky，J.A.，《描述承认初始语义的规范语言的特征》，Theor。计算。科学。，31, 49-60 (1984) ·Zbl 0536.68011号
[31] Makowsky，J.，《为什么Horn公式在计算机科学中很重要：初始结构和通用示例》（Proceedings，Int.Conf.TAPSOFT，Proceeding，Int.Conf.TASSOFT，Berlin，1985年3月）。国际会议记录，TAPSOFT。国际会议论文集，TAPSOFT，柏林，1985年3月，计算机课堂讲稿。科学。，第185卷（1985年），《施普林格·弗拉格：施普林格尔·弗拉格纽约/柏林》，第374-387页·兹伯利0563.68013
[32] Meseguer，J.，链完备代数的种类，J.Pure Appl。代数，19347-383（1980）·Zbl 0445.18008号
[33] Milner，R.，《编程中的类型多态性理论》，J.Compute。系统科学。，17, 348-375 (1978) ·Zbl 0388.68003号
[34] Nelson，E.，Z-连续代数，（Banaschewski，B.；Hoffman，R.-E.，《连续格》，《程序集》，连续格，程序集，Brehmen，1979年。连续格，议事录。连续格，论文集，Brehmen，1979，数学课堂讲稿。，第871卷（1981年），《施普林格·弗拉格：施普林格尔·弗拉格纽约/柏林》，第315-334页·Zbl 0493.08008号
[35] 内梅蒂，I。；Sain，I.，锥内射性和一些类别中的Birkhoff型定理，（Csakany，B.；Fried，E.；Schmidt，E.T.，《对泛代数的贡献》（Proc.Colloq.Esztergom，1977）。《对普遍代数的贡献》（Proc.Colloq.Esztergom，1977），《数学学会学术讨论会》Janos Bolyai，第29卷（1981），北荷兰：北荷兰阿姆斯特丹），535-578·Zbl 0495.18001号
[36] Reichel，H.，《最初限制代数理论》（Dembinski，P.，《计算机科学的数学基础》，第九交响曲《计算机科学数学基础》（第九交响曲，波兰Rydzyna，1980年）。《计算机科学的数学基础》（第九交响曲《计算机科学数学基础》，第九交响曲，波兰里兹纳，1980年，计算机科学讲义，第88卷（1980年），斯普林格·弗拉格：纽约/柏林斯普林格尔·弗拉格），504-514·Zbl 0469.68026号
[37] H.赖切尔《部分代数理论与应用导论第二部分，部分代数的结构归纳》（P.Burmeister和H.Reichel，Eds.），Akademie-Verlag，柏林，出版社。；H.赖切尔《部分代数理论与应用导论》，第二部分，部分代数的结构归纳，（P.Burmeister和H.Reichel，Eds.），Akademie-Verlag，柏林，出版·Zbl 0553.08002号
[38] Sannella，D.T。；Tarlecki，A.，《在任意机构中构建规范》（Proceedings Int.Sympos.Semantics of Data Types），《Proceeding Int.Symbos.Seminatis of Data Type》，索菲亚·安蒂波利斯出版社，1984年6月。国际交响乐会议录。数据类型的语义。国际交响乐会议录。数据类型的语义，Sophia-Antipolis，1984年6月，计算机科学讲稿。，第173卷（1984年），《施普林格·弗拉格：施普林格尔·弗拉格纽约/柏林》，337-356·Zbl 0552.68015号
[39] Tarlecki，A.（报告CSR-149-83（1983））
[40] Tarlecki，A.，《强烈承认初始语义的抽象代数机构》（报告CSR-165-84（1984），爱丁堡大学计算机科学系）
[41] Tarlecki，A.，《关于抽象代数机构中自由模型的存在性》，Theor。计算。科学。，37, 269-304 (1985) ·Zbl 0608.68014号
[42] Tarlecki，A。；Wirsing，M.，《信息学基础》，第九卷，95-126页（1986年）·Zbl 0624.68024号
[43] Wirsing，M。；胡椒，P。；Partsch，H。；Dosch，W。；Broy，M.，《关于抽象数据类型的层次结构》，Acta Inform。，20, 1-33 (1983) ·Zbl 0513.68015号
[44] Zilles，S.N.，数据类型的代数规范，（计算结构组备忘录119（1974），麻省理工学院计算机科学实验室）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。