×
范·格拉贝克，R.J。

过渡系统规范中否定前提的含义。二、。 （英语） Zbl 1072.68075号

J.日志。阿尔盖布。程序。 60-61, 229-258 (2004).
[对于第一部分，由R.Bol公司和J.F.格罗特参见J.ACM 43、863–914（1996年；Zbl 0889.68113号).]
概述：本文回顾了几种将转换关系与转换系统规范与Plotkin结构操作风格中的负前提相关联的方法。除了对通用性和相对一致性进行形式上的比较外，还对这些方法进行了评估，以确定哪些规范有意义，哪些规范没有意义。此外，本文还对逻辑程序的良好语义提供了一个证明理论特征。

引用于25文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
60年第68季度 规范和验证（程序逻辑、模型检查等）
68N17号 逻辑编程
68问题55 计算理论中的语义学

关键词：

过渡系统;规范;逻辑程序的语义

引文：

Zbl 0889.68113号
PDF格式BibTeX公司 XML格式引用
\textit{R.J.van Glabbeek}、J.Log。阿尔盖布。程序。60-61229--258（2004年；Zbl 1072.68075）
全文： 内政部

参考文献：

[1] Apt，K.R。；Bol，R.，《逻辑编程与否定：一项调查》，《逻辑编程杂志》，19-20，9-71（1994）·Zbl 0942.68518号
[2] 布鲁姆，B。；Istrail，S。；Meyer，A.R.，《无法追踪相互模拟》，《美国医学杂志》，第42期，第123-268页（1995年）·Zbl 0886.68027号
[3] Bol，R.N。；Groote，J.F.，《过渡系统规范中否定前提的含义》，《ACM杂志》，43，5，863-914（1996）·Zbl 0889.68113号
[4] Clark，K.L.，否定为失败，（Gallaire，H.；Minker，J.，《逻辑与数据库》（1978），Plenum出版社：Plenum出版社，纽约），293-322
[5] Fages，F.，《与基础良好且稳定的模型语义相比，通用逻辑程序的新不动点语义》，新一代计算，9，4，425-443（1991）·Zbl 0737.68014号
[6] van Gelder，A。；Ross，K。；Schlipf，J.S.，《通用逻辑程序的完善语义》，《ACM杂志》，38，3，620-650（1991）·兹比尔0799.68045
[7] Gelfond，M。；Lifschitz，V.，《逻辑编程的稳定模型语义》（The stable model semantics for logic programming），（Kowalski，R.；Bowen，K.，《第五届逻辑编程国际会议论文集》（1988年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），1070-1080
[8] 福克金，W.J。；van Glabbek，R.J.，Ntyft/ntyxt规则简化为ntree规则，信息与计算，126，1，1-10（1996）·Zbl 0853.68124号
[9] Groote，J.F.，带负前提的转换系统规范，理论计算机科学，118，2，263-299（1993）·Zbl 0778.68057号
[10] Groote，J.F。；Vaandrager，F.W.，结构化操作语义和互模拟作为同余，信息与计算，100,2202-260（1992）·Zbl 0752.68053号
[11] G.D.Plotkin，操作语义的结构方法，DAIMI FN-19报告，奥胡斯大学计算机科学系，1981年；G.D.Plotkin，操作语义的结构方法，DAIMI FN-19报告，奥胡斯大学计算机科学系，1981年
[12] Przymusinski，T.C.，《关于演绎数据库和逻辑程序的声明性语义》，（Minker，J.，《演绎数据库与逻辑编程基础》（1988），Morgan Kaufmann Publishers Inc:Morgan Koufmann-Publishers Inc Los Altos，CA），193-216·Zbl 0726.68067号
[13] Przymusinski，T.C.，《基础良好的语义学与三值稳定语义学》，《信息学基础》，XIII，4，445-463（1990）·Zbl 0706.68029号
[14] Verhoef，C.，《带谓词和负前提的结构化操作语义的同余定理》，《北欧计算杂志》，2，2，274-302（1995）·Zbl 0839.68060号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。