×
拉兹万·迪亚科内斯库

CafeOBJ追踪。 （英语） Zbl 1407.68307号

Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8373, 53-65 (2014).
摘要：我们调查了CafeOBJ的两个重要区别特征，即基于相干隐代数的行为规范和基于Grothendieck机构的异构规范。它们都代表了对正式规范文化的开创性贡献，远远超出了CafeOBJ的范畴。我们的演讲包括对动机以及导致这些概念和理论诞生的过程的相当详细的解释。本文献给CafeOBJ项目负责人、退休时的亲密朋友和合作者Kokichi Futatsugi教授。
关于整个系列，请参见[Zbl 1283.68036号].

引用于1文件

MSC公司：

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

软件：

中国保监会;CASL公司;莫德;咖啡馆OBJ;OBJ3型
PDF格式BibTeX公司 XML格式引用
\文本｛R.Diaconescu｝，勒克特。注释计算。科学。8373、53-65（2014年；Zbl 1407.68307）
全文： 内政部

参考文献：

[1] Astesiano，E.，Bidoit，M.，Kirchner，H.，Krieg-Brückner，B.，Mosses，P.，Sannella，D.，Tarlecki，A.：CASL：通用代数规范语言。理论计算机科学286（2），153-196（2002）·Zbl 1061.68103号 ·doi:10.1016/S0304-3975（01）00368-1
[2] 贝齐奥：关于普遍逻辑的13个问题。逻辑部分公报35（2/3），133-150（2006）·Zbl 1133.03301号
[3] Burstall，R.，Diaconescu，R.：隐藏与行为：制度方法。摘自：威廉·罗斯科（William Roscoe，A.）（编辑）《经典思维：纪念C.A.R.霍尔的论文》，第75-92页。普伦蒂斯·霍尔，1994年。另见技术报告ECS-LFCS-8892-253，爱丁堡大学计算机科学基础实验室（1992）
[4] Carnielli，W.，Coniglio，M.，Gabbay，D.M.，Gouveia，P.，Sernadas，C.：逻辑分析与综合——如何剪切和粘贴推理系统。应用逻辑系列，第35卷。施普林格（2008）·Zbl 1137.03001号
[5] Clavel，M.，Durán，F.，Eker，S.，Lincoln，P.，Martí-Oliet，n.，Meseguer，J.，Talcott，C.：《关于莫德的一切——高性能逻辑框架》，LNCS，第4350卷。斯普林格，海德堡（2007）·Zbl 1115.68046号
[6] Diaconescu，R.：面向对象代数规范中的行为一致性。技术报告IS-RR-98-0017F，日本高级科学技术研究所（1998年6月）·Zbl 0963.68104号
[7] Diaconescu，R.：机构的额外理论形态：多仿生语言的逻辑语义。应用分类结构6（4），427–453（1998）。初步版本于1997年发布为JAIST技术报告IS-RR-97-0032F·Zbl 0919.68087号 ·doi:10.1023/A:1008607717635
[8] Diaconescu，R.：格罗森迪克机构。应用分类结构10（4），383–402（2002）；初步版本为IMAR预印本2-2000（2000年2月）ISSN 250-3638
[9] Diaconescu，R.：格罗森迪克机构中的刑警组织。理论计算机科学311439–461（2004）·Zbl 1068.68083号 ·doi:10.1016/j.tcs.2003.10.030
[10] Diaconescu，R.：层次对象组合的行为规范。理论计算机科学343（3），305-331（2005）·Zbl 1077.68055号 ·doi:10.1016/j.tcs.2005.06.015
[11] Diaconescu，R.：机构依赖模型理论。Birkhäuser（2008年）·兹比尔1144.03001
[12] Diaconescu，R.：预序代数的合成。信息与计算209（2），108–117（2011）·Zbl 1206.68197号 ·doi:10.1016/j.ic.2010.11.001
[13] Diaconescu，R.：格罗森迪克包裹体系统。应用分类结构19（5），783–802（2011）·兹比尔1261.18005 ·doi:10.1007/s10485-009-9211-6
[14] Diaconescu，R.：混合制度中的准变异和初始语义。逻辑与计算杂志，doi:10.1093/log.com/ext016·兹比尔1353.03083 ·doi:10.1093/log.com/ext016
[15] Diaconescu，R.，Ţuţu，I.：构建行为规范的基础。逻辑与代数编程杂志（即将出版）·Zbl 1434.68305号 ·doi:10.1016/j.jlamp.2014.03.001
[16] Diaconescu，R.，Ţuţu，I.：关于结构化规范的代数。理论计算机科学412（28），3145–3174（2011）·Zbl 1252.68199号 ·doi:10.1016/j.tcs.2011.04.008
[17] Diaconescu，R.，Futatsugi，K.：CafeOBJ报告：面向对象代数规范的语言、证明技术和方法。AMAST计算机系列，第6卷。《世界科学》（1998）·兹比尔0962.68115 ·数字对象标识代码：10.1142/3831
[18] Diaconescu，R.，Futatsugi，K.：面向对象代数规范中的行为一致性。通用计算机科学6（1），74-96（2000）；第一版为JAIST技术报告IS-RR-98-0017F（1998年6月）·Zbl 0963.68104号
[19] Diaconescu，R.，Futatsugi，K.：CafeOBJ的逻辑基础。理论计算机科学285289–318（2002）·Zbl 1001.68079号 ·doi:10.1016/S0304-3975（01）00361-9
[20] Diaconescu，R.，Goguen，J.，Stefaneas，P.：模块化的逻辑支持。在：Huet，G.，Plotkin，G.（编辑）《逻辑环境》，第83–130页。剑桥（1993）。苏格兰爱丁堡研讨会会议记录（1991年5月）
[21] Diaconescu，R.，Stefaneas，P.：机构中的超产品和可能世界语义。理论计算机科学379（1），210–230（2007）·Zbl 1124.03047号 ·doi:10.1016/j.tcs.2007.02.068
[22] Finger，M.，Gabbay，D.M.：为逻辑系统添加时间维度。《逻辑、语言与信息杂志》1（3），203-233（1992）·Zbl 0798.03031号 ·doi:10.1007/BF00156915
[23] Goguen，J.：类型作为理论。收录于：Reed，G.M.，Roscoe，A.W.，Wachter，R.F.（编辑）《计算机科学中的拓扑和范畴理论》，第357-390页。牛津（1991）。牛津会议记录（1989年6月）
[24] Goguen，J.：数据、模式、本体论和逻辑集成。IGPL杂志13（6），685–715（2006）·Zbl 1094.68018号 ·doi:10.1093/jigpal/jzi050
[25] Goguen，J.，Burstall，R.：机构：规范和编程的抽象模型理论。《计算机协会杂志》39（1），95–146（1992）·Zbl 0799.68134号 ·数字对象标识代码：10.1145/147508.147524
[26] Goguen，J.，Diaconescu，R.：面向对象范式的代数语义。收录于：Ehrig，H.，Orejas，F.（编辑）《1992年抽象数据类型》和《1992年COMPASS》。LNCS，第785卷，第1-34页。斯普林格，海德堡（1994）·doi:10.1007/3-540-57867-6_1
[27] Goguen，J.，Rošu，G.：制度形态。计算的形式方面13，274–307（2002）·Zbl 1001.68019号 ·doi:10.1007/s001650200013
[28] Goguen，J.、Winkler，T.、Meseguer，J.，Futatsugi，K.、Jouannaud，J.-P.：《OBJ简介》。收录：Goguen、J.、Malcolm，G.（编辑）《软件工程与OBJ：代数规范在实践中》。Kluwer（2000）·doi:10.1007/978-14757-6541-0_1
[29] Grothendieck，A.：猫头鹰（Catégories fibre es et descente）。收录于：Revétements Etales et Groupe Fondamental，Séminaire de Géométrie Algébraique du Bois-Marie 1960/61，ExposéVI数学课堂笔记，第224卷。高等科学研究院（1963年）；重印于数学课堂讲稿，第224卷，第145-194页。斯普林格（1971）
[30] Iida，S.：基于组件的软件开发的代数形式化方法。日本高等科学技术研究所博士论文（1999年）
[31] Jacobs，B.，Rutten，J.M.：（co）代数和（co）归纳教程。EATCS公报62、222–259（1997）·Zbl 0880.68070号
[32] Martins，M.A.，Madeira，A.，Diaconescu，R.，Barbosa，L.S.：机构的杂交。收录于：Corradini，A.，Klin，B.，Crstea，C.（编辑）CALCO 2011。LNCS，第6859卷，第283-297页。斯普林格，海德堡（2011）·Zbl 1343.03052号 ·文件编号：10.1007/978-3-642-22944-2_20
[33] Mossakowski，T.、Maeder，C.、Lüttich，K.：异质工具集。收录：Grumberg，O.，Huth，M.（编辑）TACAS 2007。LNCS，第4424卷，第519-522页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-71209-1_40
[34] Mossakowski，T.：基于同构的Grothendieck逻辑。收录：Diks，K.，Rytter，W.（编辑）MFCS 2002。LNCS，第2420卷，第593-604页。施普林格，海德堡（2002）·Zbl 1014.68098号 ·doi:10.1007/3-5440-45687-2_49
[35] Mossakowski，T.，Kutz，O.，Lange，C.：分布式本体语言的语义：研究所和机构。收录：Martí-Oliet，N.，Palomino，M.（编辑）WADT 2012。LNCS，第7841卷，第212-230页。斯普林格，海德堡（2013）·Zbl 1394.68379号 ·doi:10.1007/978-3-642-37635-1_13
[36] Popescu，A.，Rošu，G.：制度的行为延伸。收录人：Fiadeiro，J.L.，Harman，N.A.，Roggenbach，M.，Rutten，J.（编辑）CALCO 2005。LNCS，第3629卷，第331-347页。斯普林格，海德堡（2005）·Zbl 1151.68493号 ·doi:10.1007/11548133_21
[37] Reichel，H.：行为等效——初始和最终规范的统一概念。摘自：第三届匈牙利计算机科学会议论文集，布达佩斯Akademiai Kiado（1981）·Zbl 0479.68017号
[38] 罗什·G·：隐藏的逻辑。加州大学圣地亚哥分校博士论文（2000年）
[39] 罗什·u，G.，卢卡努，D.：圆形共聚：证明理论基础。收录人：Kurz，A.，Lenisa，M.，Tarlecki，A.（编辑）CALCO 2009。LNCS，第5728卷，第127-144页。斯普林格，海德堡（2009）·Zbl 1239.68067号 ·doi:10.1007/978-3642-03741-2-10
[40] Sannella，D.，Tarlecki，A.：代数规范和形式化软件开发的基础。施普林格（2012）·Zbl 1237.68129号 ·doi:10.1007/978-3-642-17336-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。