×
何塞·梅塞盖尔;斯蒂芬·斯基里克

初始有序代数中的方程公式和模式运算。 （英语） Zbl 1362.68054号

正式Asp。计算。 29，第3期，423-452（2017）.

引用于6文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
03B70号 计算机科学中的逻辑
68甲15 程序设计语言理论
65年第68季度 形式语言和自动机

关键词：

模式操作;初始可判定性;顺序逻辑

软件：

OBJ3型;莫德;哈斯克尔;OBJ咖啡馆
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}和\textit{S.Skeirik}，正式Asp。计算。29，第3号，423--452（2017；Zbl 1362.68054）
全文： 内政部

参考文献：

[1] Alpunte M，Escobar S，Espert J，Meseguer J（2014）一种模序分类方程泛化算法。信息计算235:98-136·Zbl 1314.68169号 ·doi:10.1016/j.ic.2014.01.006
[2] Comon H，Delor C（1994）具有成员约束的方程公式。信息计算，112（2）：167-216·Zbl 0827.03020号 ·doi:10.1006/inco.1994.1056
[3] Clavel M、Durán F、Eker S、Meseguer J、Lincoln P、Martí-Oliet n、Talcott C（2007）《关于莫德的一切》。包含：LNCS，第4350卷。柏林施普林格·Zbl 1115.68046号
[4] Comon H、Dauchet M、Gilleron R、Löding C、Jacquemard F、Lugiez D、Tison S、Tommasi M（2007）树自动机技术和应用。http://www.grappa.univ-lille3.fr/tata。2007年10月12日发布·Zbl 0678.68093号
[5] Comon H，Lescanne P（1989）等式问题和不统一。符号计算杂志7:371-425·Zbl 0678.68093号 ·doi:10.1016/S0747-7171（89）80017-3
[6] Comon H（1990）有序排序代数中的等式公式。摘自：ICALP’90会议记录。LNCS，第443卷。柏林施普林格，第674-688页·Zbl 0774.68071号
[7] Ehrig H，Mahr B（1985）代数规范基础1。柏林施普林格·Zbl 0557.68013号 ·doi:10.1007/978-3-642-69962-7
[8] Futatsugi K，Diaconescu R（1998）《CafeOBJ报告》。新加坡世界科学·Zbl 0962.68115号
[9] Fernández M（1998）空理论或置换理论中的否定消除。符号计算杂志26（1）：97-133·Zbl 0904.03007号 ·doi:10.1006/jsco.1998.0203
[10] Goguen J，Burstall R（1992）《机构：规范和编程的抽象模型理论》。美国临床医学杂志39（1）：95-146·Zbl 0799.68134号 ·数字对象标识代码：10.1145/147508.147524
[11] Goguen J，Meseguer J（1992）《有序代数I：多重继承、重载、异常和部分运算的等式推导》。Theor Comput Sci计算机科学105:217-273·Zbl 0778.68056号 ·doi:10.1016/0304-3975（92）90302-V
[12] Guttag J（1975）抽象数据类型编程的规范和应用。多伦多大学博士论文。计算机科学系，报告CSRG-59·Zbl 0962.68114号
[13] Goguen J、Winkler T、Meseguer J、Futatsugi K、Jouannaud JP（2000）《OBJ简介：使用OBJ的软件工程：代数规范的作用》。多德雷赫特·克鲁沃，第3-167页·Zbl 0904.03007号
[14] Hudak P、Hughes J、Peyton Jones SL、Wadler P（2007）《haskell的历史：懒惰上课》。收录：第三届ACM SIGPLAN编程语言历史会议论文集（HOPL-III）。ACM，纽约，第1-55页
[15] Lassez JL，Maher M，Marriott K（1991）项代数中否定的消除。摘自：计算机科学数学基础。柏林施普林格，第1-16页·Zbl 0776.68070号
[16] Lassez JL，Marriott K（1987）反例定义的术语的显式表示。J Autom原因3（3）：301-317·Zbl 0641.68124号 ·doi:10.1007/BF00243794
[17] Maher MJ（1988）有限树、有理树和无限树代数的完全公理化。在：LICS’88诉讼程序中。IEEE计算机学会，Silver Spring，pp 348-357·Zbl 1051.68061号
[18] Maher MJ（1988）有限树、有理树和无限树代数的完全公理化。技术报告，IBM T.J.Watson研究中心·Zbl 0691.0302号
[19] Meseguer J（1992）条件重写逻辑作为并发的统一模型。计算机科学理论96（1）：73-155·Zbl 0758.68043号 ·doi:10.1016/0304-3975（92）90182-F
[20] Meseguer J（1998）成员代数作为方程规范的逻辑框架。摘自：1997年WADT会议记录。包含：LNCS，第1376卷。柏林施普林格，第18-61页·Zbl 0903.08009号
[21] Meseguer J（2016）初始代数中基于变量的可满足性。收录人：Artho C，Ølveczky PC（eds），proc。FTSCS 2015。施普林格CCIS 596，第1-32页·兹比尔1396.68074
[22] JoséMeseguer、Joseph Goguen和Gert Smolka（1989）《秩序统一》。符号计算杂志8:383-413·Zbl 0691.0302号 ·doi:10.1016/S0747-7171（89）80036-7
[23] Meseguer J，Palomino M，Martí-Oliet N（2008）等式抽象。《计算机科学》403（2-3）：239-264·Zbl 1155.68050号
[24] Meseguer J，Skeirik S（2015）初始有序代数中的方程公式和模式运算。摘自：Falaschi M（ed）2015年LOPSTR会议记录。LNCS，第9527卷。柏林施普林格，第36-53页·Zbl 1362.68053号
[25] Pichler R（2003）Herbrand宇宙子集的显式与隐式表示。计算机科学理论290（1）：1021-1056·Zbl 1051.68061号 ·doi:10.1016/S0304-3975（02）00583-2
[26] Tajine M（1993）句法方程公式中的否定消去是可判定的。收录：RTA-93会议记录。LNCS，第690卷。柏林施普林格，pp 316-327·Zbl 1503.03009号
[27] van Deursen A，Heering J，Klint P（1996）《语言原型：代数规范方法》。新加坡世界科学·Zbl 0962.68114号 ·doi:10.1142/3163
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。