曼弗雷德·布罗伊；马丁·威尔辛 部分抽象类型。 （英语） Zbl 0494.68020号 学报信息。 18, 47-64 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于38文件 MSC公司： 68第05页 数据结构 关键词：层次抽象类型；条件方程式；完全抽象语义；代数规范；程序设计语言 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{M.Wirsing}，《学报年鉴》18，47-64（1982；Zbl 0494.68020） 全文： 内政部 参考文献： [1] Andréka，H.，Burmeister，B.，Németi，I.：部分代数的拟变种？部分代数二值模型理论的统一方法。TH Darmstadt，FB Mathematik，预印号557·Zbl 0537.08004号 [2] Bauer，F.L.，Wössner，H.：算法Sprache und Programmentwicklung。柏林-海德堡-纽约：施普林格1981·Zbl 0466.68006号 [3] Bergstra，J.A.，Broy，M.，Tucker，J.V.，Wirsing，M.：关于代数规范的力量。收录：Gruska，J.（编辑）：第十届MFCS，Strbske Pleso，CSSR，1981年9月。LNCS1118193-204（1981）·Zbl 0462.68001号 [4] Bergstra，J.A.，Tucker，J.V.：通过有限的等式规范方法表征可计算数据类型。数学。中心。代表IWi24/791979·Zbl 0417.68012号 [5] Bertoni，A.，Mauri，G.，Miglioli，P.A.，Wirsing，M.：关于抽象数据类型的不同方法和递归模型的存在性。EATCS公告9号，47-57（1979） [6] Broy，M.：并发程序的转换语义。1987年9月11日（1980年）·Zbl 0444.68017号 ·doi:10.1016/0020-0190（80）90009-5 [7] Broy，M.，Wirsing，M.：函数式编程语言的代数定义。TU München，技术代表TUM-I8008，将出现在RAIRO Computer Science上·Zbl 0515.68017号 [8] Broy，M.，Wirsing，M.：作为抽象数据类型的编程语言。摘自：Dauchet，M.（编辑）：5ème Coll。阿尔盖布雷大学阿尔卑斯河畔，里尔1980年，里尔大学，160-177年（1980）·Zbl 0433.68014号 [9] Broy，M.，Wirsing，M.：部分递归函数和抽象数据类型。EATCS公告11，34-41（1980）·Zbl 0433.68014号 [10] Broy，M.，Wirsing，M.：关于非确定性编程语言的代数规范。摘自：Astesiano，E.，Böhm，C.（编辑）：第六届代数与编程中的树学术讨论会。LNCS112162-179（1981）·Zbl 0462.68063号 [11] Broy，M.，Wirsing，M.：关于抽象数据类型的代数扩展。In:Diaz，J.，Ramos，I.（编辑）：编程概念的形式化。LNCS107244-251（1981）·Zbl 0492.68024号 [12] Broy，M.，Wirsing，M.：关于有限无限通信序列过程的代数规范。收录人：Björner，D.（编辑）：IFIP Wkng。编程语言概念形式化描述会议，Garmisch，1982年6月（即将出版）·Zbl 0512.68021号 [13] Broy，M.，Pair，C.，Wirsing，P.：抽象数据类型模型的系统研究。南希信息中心，拉波特81-R-0421981·Zbl 0552.68010号 [14] Burstall，R.M.，Goguen，J.A.：将理论结合起来制定规范。第五届人工智能国际会议，马萨诸塞州剑桥，第1045-1058页，1977年 [15] Courcelle，B.，Nivat，M：程序模式的代数语义。收录人：Winkowski，J.（编辑）：第七届MFCS（1978），LNCS6416-30（1978）·Zbl 0384.68016号 [16] H.D.Ehrich、U.Lipeck：证明实现正确吗？两种替代方法。收录：Lavington，D.（编辑）：IFIP-Congress 80。阿姆斯特丹：北荷兰，第83-88页（1980）·兹比尔0444.68015 [17] Ehrig，H.，Kreowski，H.J.，Thatcher，J.W.，Wagner，E.G.，Wright，J.B.：代数规范语言中的参数化数据类型。In：De Bakker，J.，van Leenwen，J.（编辑）：第七届ICALP（1980年），LNCS85157-168（1980年）·Zbl 0456.68101号 [18] 高德尔（Gaudel），M.C.：《程序设计语言手册》（Génération et preuve de compilers basés surés sémantique formelle des langages de programmation）。1980年3月，南希·塞特 [19] Giarratana，V.，Gimona，F.，Montanari，U.：抽象数据类型规范中的可观测性概念。收录人：A.Mazurkiewicz（编辑）：第五届MFCS（1976），LNCS45576-587（1976）·Zbl 0338.68023号 [20] Goguen，J.A.：抽象数据类型的抽象错误。加州大学洛杉矶分校语义学和计算理论报告46，Proc。IFIP工作。确认。《程序设计语言概念的形式化描述》，圣安德鲁斯，21.1-21.321977年 [21] Goguen，J.A.，Thatcher，J.W.，Wagner，E.G.：抽象数据类型的规范、正确性和实现的初始代数方法。摘自：《编程方法学的当前趋势IV：数据结构》（R.Yeh，ed.），第80-144页，Englewood Cliffs:Prentice Hall，1978年 [22] Grätzer，G.：泛代数。普林斯顿：Van Nostrand 1968·Zbl 0182.34201号 [23] Greif，L，Meyer，A.：指定编程语言语义。第六届POPL（1979年） [24] Guttag，J.V.：抽象数据类型编程的规范和应用。1975年多伦多大学博士论文 [25] Hennessy，M.，Milner，R.：关于观察非确定性和并发性。收录人：De Bakker，J.，van Leeuwen，J.（编辑）：第七届ICALP，LNCS85，299-309（1980）·Zbl 0441.68018号 [26] Hennessy，M.，Plotkin，G.：CCS的术语模型。收件人：Dembinski，P.（编辑）：第九届MFCS（1980），LNCS88，261-274（1980）·Zbl 0479.68011号 [27] Hornung，G.，Raulefs，P.：抽象数据类型的终端代数语义和收缩。收录人：De Bakker，J，van Leeuwen，J（编辑）：第七届ICALP（1980），LNCS85，310-323（1980）·Zbl 0446.68010号 [28] Kamin，S.：最终数据类型规范：一种新的数据类型规范方法。1979年拉斯维加斯第七届POPL [29] Klaeren，H.A.：Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstraken Software-Spezifikation。论文，亚琛RWTH，1980·Zbl 0476.68021号 [30] Lescanne，P.：练习代数与关系类型抽象与表达。南希大学，1979年 [31] Milner，R.：类型化的完全抽象模型-计算。TCS4，1-22（1977年）·Zbl 0386.03006号 ·doi:10.1016/0304-3975（77）90053-6 [32] 米尔纳，R.：沟通行为的综合。收录人：Winkowski，J.（编辑）：第七届MFCS，LNCS64，71-83（1978）·Zbl 0411.68031号 [33] Nourani，F.：规范、扩展和实现的模型理论方法。收录人：Robinet，B.（编辑）：《4ème Colloque Int.sur la Programmation》，LNCS83，282-297（1980）·Zbl 0435.68021号 [34] 配对，C：输入abstraits et sémantique algébrique des langages de programmation。南希信息中心，80-R-0111980 [35] Pair，C.：《禁欲类型的社会》（Sur les modèles des types abstraits algébriques）。南希信息中心。1980年，80-P-052 [36] Reichel，H.：《Aequoide理论》，论文B.洪堡大学柏林分校，1979年 [37] Veloso，P.A.，Pequeno，T.H.：不要编写过多的公理：一种完整且正确规范抽象数据类型的方法，并附有示例。里约热内卢大学，Monografias en Ciencia do Computacao No.101979，Ext.Absr。程序中。国际公司。累计。，南康（中国）1978 [38] Wagner，E.G.，Thatcher，J.W.，Wright，J.B.：作为数学对象的编程语言。In:Winkowski，J.（编辑）：第七届MFCS（1978），LNCS64，84-101（1978）·Zbl 0394.68008号 [39] Wand，M.：最终代数语义和数据类型扩展。JCSS19，27-44。初版：印第安纳大学TR65，1978·Zbl 0418.68020号 [40] Wirsing，M.、Pepper，P.、Partsch，H.、Dosch，W.、Broy，M.：关于抽象数据类型的层次结构。初步版本：TU München，技术代表TUM-I80071980。（出现在《信息学报》上。）·Zbl 0513.68015号 [41] Wirsing，M.，Broy，M.：代数规范的语义模型分析。单位：Broy，M。；Schmidt，G.（编辑）：《国际编程方法论理论基础暑期学校》，马克托伯多夫，1981年8月，多德雷赫特：雷德尔，第351-413页（1982） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。