×
米海·Codescu

广义理论制度同构。 （英语） Zbl 1253.68226号

Corradini，Andrea（编辑）等人，代数发展技术的最新趋势。第19届国际研讨会，WADT 2008，意大利比萨，2008年6月13日至16日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，88-101（2009）。
摘要：我们提出了理论同构概念的一般化，其动机是在实现异构工具集Hets时遇到的几个具有实际重要性的逻辑翻译。我们通过在一个被建模为广义同构的机构和翻译图上展示Grothendieck结构，讨论了这种泛化对异构规范水平的影响。还评估了异构证明的条件。
有关整个系列，请参见[Zbl 1173.68005号].

引用于5文件

MSC公司：

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

软件：

哈斯克尔;HasCasl公司;赫茨;伊莎贝尔/HOL;CASL公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Codescu}，莱克特。注释计算。科学。5486、88--101（2009年；Zbl 1253.68226）
全文： 内政部

参考文献：

[1] Cerioli，M.，Haxthausen，A.，Krieg-Brückner，B.，Mossakowski，T.：CASL中的允许子分类部分逻辑。收录：Johnson，M.（编辑）AMAST 1997。LNCS，第1349卷，第91-107页。斯普林格，海德堡（1997）·Zbl 0886.03022号 ·doi:10.1007/BFb0000465
[2] Cornelius，F.、Baldamus，M.、Ehrig，H.、Orejas，F.：抽象和行为模块规范。计算机科学中的数学结构9（1），21–62（1999）·Zbl 0923.68089号 ·doi:10.1017/S0960129598002606
[3] Diaconescu，R.：格罗森迪克机构。应用范畴结构10，383–402（2002）·Zbl 1008.68078号 ·doi:10.1023/A:1016330812768
[4] Ehrig，H.，Pepper，P.，Orejas，F.：关于代数规范的最新趋势。收录于：Ronchi Della Rocca，S.，Ausiello，G.，Dezani-Ciancaglini，M.（编辑）ICALP 1989，第372卷，第263-288页。斯普林格，海德堡（1989）·Zbl 0689.68013号 ·doi:10.1007/BFb0035766
[5] Goguen，J.，Rošu，G.：制度形态。计算的形式方面13，274–307（2002）·Zbl 1001.68019号 ·doi:10.1007/s001650200013
[6] Goguen，J.A.，Burstall，R.M.：机构：规范和编程的抽象模型理论。《计算机协会杂志》39，95–146（1992）·Zbl 0799.68134号 ·数字对象标识代码：10.1145/147508.147524
[7] Jones，S.P.：Haskell 98语言与图书馆：修订报告。剑桥大学出版社，剑桥（2003）·Zbl 1067.68041号
[8] Lüth，C.，Roggenbach，M.，Schröder，L.：CCC-CASL一致性检查器。In:Fiadeiro，J.L.，Mosses，P.D.，Orejas，F.（编辑）WADT 2004。LNCS，第3423卷，第94-105页。斯普林格，海德堡（2005）·Zbl 1118.68558号 ·doi:10.1007/978-3-540-31959-7_6
[9] Lüttich，K.，Mossakowski，T.：自动定理证明系统对CASL的推理支持。收录：Fiadeiro，J.L.，Schobbens，P.-Y.（编辑）WADT 2006。LNCS，第4409卷，第74-91页。斯普林格，海德堡（2007）·Zbl 1196.68147号 ·doi:10.1007/978-3-540-71998-4-5
[10] Lutz，C.，Walter，D.，Wolter，F.：表达描述逻辑中的保守扩展。In：程序。IJCAI 2007，第453-459页。AAAI出版社，门罗公园（2007）
[11] Meseguer，J.：一般逻辑。摘自：1987年逻辑学术讨论会，第275-329页。北荷兰，阿姆斯特丹（1989）
[12] Mossakowski，T.：机构的表示、等级和图表。不来梅大学博士论文，也出现在《逻各斯·弗拉格》（1996）中
[13] Mossakowski，T.：基于同构的Grothendieck逻辑。收录：Diks，K.，Rytter，W.（编辑）MFCS 2002。LNCS，第2420卷，第593-604页。斯普林格，海德堡（2002）·兹比尔1014.68098 ·doi:10.1007/3-540-45687-249
[14] Mossakowski，T.：将CASL与其他规范语言联系起来：机构级。理论计算机科学286，367–475（2002）·Zbl 1061.68106号 ·doi:10.1016/S0304-3975（01）00369-3
[15] Mossakowski，T.：异构规范的基础。收录：Wirsing，M.、Pattinson，D.、Hennicker，R.（编辑）WADT 2003。LNCS，第2755卷，第359-375页。斯普林格，海德堡（2003）·Zbl 1278.68208号 ·doi:10.1007/978-3-540-40020-2_21
[16] Mossakowski，T.：异构规范和异构工具集。技术报告，不来梅大学，习惯化论文（2005）
[17] 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
[18] Mosses，P.D.（编辑）：Casl参考手册：通用代数规范语言的完整文档。LNCS，第2960卷。斯普林格，海德堡（2004）·Zbl 1046.68001号
[19] Nipkow，T.、Paulson，L.C.、Wenzel，M.：Isabelle/HOL——高阶逻辑的证明助手。LNCS，第2283卷。斯普林格，海德堡（2002）·Zbl 0994.68131号 ·doi:10.1007/3-540-45949-9
[20] Schröder，L.，Mossakowski，T.：HasCASL：面向功能程序的集成规范和开发。收录：Kirchner，H.，Ringeissen，C.（编辑）AMAST 2002。LNCS，第2422卷，第99-116页。斯普林格，海德堡（2002）·Zbl 1275.68054号 ·doi:10.1007/3-540-45719-48
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。