×
汉斯·迪特·埃里奇

我的ADT神殿。 （英语） Zbl 1314.68008号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学讲义7137，13-24（2012）。
小结：通过给出多特蒙德附近Langscheid地区1982年WADT和热那瓦附近Santa Margherita地区1994年WADT1的余辉，透视了2010年WADT2。回顾了与该领域先驱者的第一次接触，特别是与发起首字母代数方法的ADJ小组的接触。作者当时的贡献就放在这个背景下。1982年左右，他的工作重点转移到数据库和信息系统，特别是概念建模。他的团队使用三层模型对信息系统、数据对象和系统进行建模，现在关注的焦点是对象和系统。相比之下，对数据问题的兴趣相形见绌。然而，在某些情况下，可以从ADT的早期工作和该领域建立的基础中获益。
关于整个系列，请参见[Zbl 1236.68008号].

MSC公司：

68-03 计算机科学史
68问题65 抽象数据类型；代数规范

软件：

CASL公司
PDF格式BibTeX公司 XML格式引用
\textit{H.-D.Ehrich}，莱克特。注释计算。科学。7137，13-24（2012；Zbl 1314.68008）
全文： 内政部

参考文献：

[1] Bidoit，M.，Mosses，P.D.（编辑）：CASL用户手册。LNCS，第2900卷。斯普林格，海德堡（2004）·Zbl 1033.68025号
[2] Broy，M.，Wirsing，M.，Pair，C.：抽象数据类型模型的系统研究。理论计算机科学33、139–174（1984）·Zbl 0552.68010号 ·doi:10.1016/0304-3975（84）90086-0
[3] Burstall，R.M.，Goguen，J.A.：将理论结合起来制定规范。In：程序。IJCAI第5期，第1045-1058页。麻省理工学院，剑桥（1977）
[4] Burstall，R.M.，Goguen，J.A.：CLEAR的语义，一种规范语言。摘自：Bjorner，D.（编辑）《抽象软件规范》。LNCS，第86卷，第292-331页。斯普林格，海德堡（1980）·Zbl 0456.68024号 ·doi:10.1007/3-540-10007-541
[5] 共同框架倡议（CoFI），http://www.informatik.uni-bremen.de/cofi/wiki/index.php/cofi ·Zbl 1049.68091号
[6] Ehrich，H.-D.：关于抽象数据类型的规范化、实现和参数化理论。ACM杂志29，206-277（1982）·Zbl 0478.68020号 ·数字对象标识代码：10.1145/322290.322303
[7] Ehrich，H.-D.：概念数据库模式的代数规范（扩展抽象）。收录：Kreowski，H.-J.（编辑）《数据类型规范的最新趋势》。Informatik-Fachberichte，第116卷。柏林施普林格（1985）·Zbl 0584.68037号 ·doi:10.1007/978-3-662-09691-82
[8] Ehrich，H.-D.：抽象数据类型、最终代数和数据库语义的关键扩展。摘自：Pitt，D.、Abramsky，S.、Poigné，A.、Rydeheard，D.（编辑）《范畴理论与计算机编程》。LNCS，第240卷，第412-433页。斯普林格，海德堡（1986）·Zbl 0616.68018号 ·doi:10.1007/3-540-17162-2_135
[9] Ehrich，H.-D.，Gogolla，M.，Lipeck，U.W.：代数Spezifikation Abstrakter Datenypen。图布纳，斯图加特（1989）·doi:10.1007/978-3-3222-94709-3
[10] Ehrich，H.-D.，Goguen，J.A.，Sernadas，A.：物体作为观察过程的分类理论。收录人：de Bakker，J.W.，de Roever，W.-P.，Rozenberg，G.（编辑）REX 1990。LNCS，第489卷，第203-228页。斯普林格，海德堡（1991）·doi:10.1007/BFb0019445
[11] Ehrich，H.-D.，Lipeck，U.：代数域方程。理论计算机科学27167-196（1983）·Zbl 0519.68024号 ·doi:10.1016/0304-3975（83）90098-1
[12] Ehrich，H.-D.，Sernadas，A.：顺序对象的分布式族的局部规范。收录：Astesiano，E.、Reggio，G.、Tarlecki，A.（编辑）《1994年抽象数据类型》和《1994年COMPASS》。LNCS，第906卷，第219-235页。施普林格，海德堡（1995）·doi:10.1007/BFb0014430
[13] Ehrich，H.-D.，Sernadas，A.，Sernada，C.：从数据类型到对象类型。J.信息处理。赛博。EIK 26（1-2），33–48（1990）·Zbl 0693.68010号
[14] Ehrig，H.，Kreowski，H.-J.，Thatcher，J.W.，Wagner，E.G.，Wright，J.B.：《代数规范语言中的参数化数据类型》，第157-168页。施普林格，柏林（1980）·Zbl 0456.68101号
[15] Ehrig，H.，Ppender，M.，Schneider，H.J.：图文法：代数方法。摘自：第十四届交换与自动机理论年度研讨会论文集（SWAT 1973），第167-180页。IEEE计算机学会，华盛顿特区，美国（1973年）·doi:10.1109/SWAT.1973.11
[16] Gogolla，M.，Drosten，K.，Lipeck，U.，Ehrich，H.-D.：允许例外和错误的规范的代数和操作语义。理论计算机科学34，289–313（1984）·Zbl 0553.68012号 ·doi:10.1016/0304-3975（84）90056-2
[17] Goguen，J.A.：对象。国际通用系统杂志，1563-5104 1，237–243（1974）
[18] Goguen，J.A.：OBJ-0的一些设计原则和理论。收录于：Yeh，R.（编辑）LNCS，第75卷，第425-475页。普伦蒂斯·霍尔（1979）
[19] Goguen，J.A.，Thatcher，J.W.，Wagner，E.G.：抽象数据类型的规范、正确性和实现的初始代数方法。摘自：Yeh，R.（编辑）《编程方法IV的当前趋势》，第80–149页。普伦蒂斯·霍尔（1978）
[20] Goguen，J.A.、Thatcher，J.W.、Wagner，E.G.、Wright，J.B.：初始代数语义和连续代数。ACM杂志24，68–95（1977）·Zbl 0359.68018号 ·数字对象标识代码：10.1145/321992.321997
[21] Loeckx，J.、Ehrich，H.-D.、Wolf，M.：抽象数据类型规范。J.Wiley&Sons和B.G.Teubner出版社（1996）·Zbl 0868.68077号
[22] Mosses，P.D.（编辑）：CASL参考手册。LNCS，第2960卷。斯普林格，海德堡（2004）·Zbl 1046.68001号
[23] Scott，D.S.：作为格的数据类型。SIAM J.公司。 5, 522–587 (1976) ·Zbl 0337.02018号 ·数字对象标识代码：10.1137/0205037
[24] Smyth，M.B.，Plotkin，G.D.：递归区域方程的范畴理论解。In：程序。第18届IEEE FOCS，第13-17页（1977年）·doi:10.1109/SFCS.1977.30
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。