×
拉兹万·迪亚科内斯库

将部分代数编码为全代数。 （英语） Zbl 1202.68245号

信息处理。莱特。 109，编号23-24，1245-1251（2009）.
摘要：通过将存在-等式关系的Horn公理化为代数操作，我们引入了部分代数作为全代数的语义编码。我们表明，这种新颖的编码具有几个重要的特性，使其成为通过特定于普通代数推理的方法（例如术语重写）执行部分代数规范的好工具。

引用于2文件

MSC公司：

第68季度第60季度 规范和验证（程序逻辑、模型检查等）
68甲15 编程语言理论

关键词：

规范语言；部分代数；编码；形式规范

软件：

CASL公司；OBJ3型；OBJ咖啡馆
PDF格式BibTeX公司 XML格式引用
\textit{R.Diaconescu}，Inf.过程。莱特。109，编号23-24，1245--1251（2009；Zbl 1202.68245）
全文： 内政部

参考文献：

[1] 埃迪吉奥·阿斯蒂西亚诺；米歇尔·比多特；赫莱内·基什内尔；Krieg-Brückner，Berndt；彼得·莫西斯（Peter Mosses）；唐·桑内拉（Don Sannella）；塔莱基，安德烈杰，CASL：公共代数规范语言，理论计算机科学，2862153-196（2002）·Zbl 1061.68103号
[2] 加勒特·伯霍夫，《论抽象代数的结构》，《剑桥哲学学会学报》，31433-454（1935）·JFM 61.1026.07号
[3] Burmeister，Peter，《偏代数的面向模型理论的方法》（1986），Akademie-Verlag:Akademice-Verlag Berlin·Zbl 0598.08004号
[4] Codescu，Mihai；G&abreve；（&A）；在&abreve；中；，Daniel，Birkhoff在机构中的完整性，Logica Universalis，2，2，277-309（2008）·Zbl 1179.03069号
[5] 迪亚科内斯库（Diaconescu），R&abreve；zvan，机构依赖模型理论（2008），Birkhäuser·Zbl 1144.03001号
[6] 迪亚科内斯库（Diaconescu），R&abreve；zvan；Futatsugi，Kokichi，CafeOBJ报告：面向对象代数规范的语言、证明技术和方法，AMAST计算系列，第6卷（1998年），世界科学·Zbl 0962.68115号
[7] 约瑟夫·戈根（Joseph Goguen）；罗德·伯斯托尔（Rod Burstall），《机构：规范和编程的抽象模型理论》（Institutions:Abstract model theory for specification and programming），《计算机协会杂志》（Journal of Association for Computing Machinery），39，1，95-146·Zbl 0799.68134号
[8] 约瑟夫·戈根；JoséMeseguer，《多元等式逻辑的完备性》，《休斯顿数学杂志》，11，3，307-334（1985）·兹比尔0602.08004
[9] 约瑟夫·戈根（Joseph Goguen）；Roşu，Grigore，机构态射，计算的形式方面，13274-307（2002）·Zbl 1001.68019号
[10] 约瑟夫·戈根（Joseph Goguen）；蒂莫西·温克勒；何塞·梅塞盖尔；Futatsugi，Kokichi；Jouannaud，Jean-Pierre，《OBJ简介》（Joseph，Goguen；Grant，Malcolm，《OBJ:实际代数规范的软件工程》（2000），Kluwer）
[11] 安德烈·科尔莫戈罗夫（Andrei N.Kolmogorov），《论排挤中间派的原则》（On the principle of the excluded middle），马特马蒂切斯基·斯博尼克（Matematicheskii Sbornik），32，646-667（1925），（俄语）·表格51.0048.01
[12] Mossakowski，Till，《将CASL与其他规范语言联系起来：机构层面》，《理论计算机科学》，286367-475（2002）·Zbl 1061.68106号
[13] 莫萨科夫斯基（Till Mossakowski）；迪亚科尼斯库，R&abreve；zvan；塔莱基，安德烈杰，什么是逻辑翻译？，Logica Universalis，3，1，59-94（2009）
[14] 马吕斯·佩特里亚；迪亚科内斯库（Diaconescu），R&abreve；zvan，Abstract Beth definitibility in institutions，Journal of Symbolic Logic，71，3，1002-1028（2006）·Zbl 1110.03064号
[15] Reichel，Horst，《初始可计算性、代数规范和部分代数》（1987），克拉伦登出版社·Zbl 0634.68001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。