×
我·雷维茨基。;布林克，C。

将变压器作为电源操作。 （英语） Zbl 0835.68075号

正式Asp。计算。 7，第2期，169-182（1995）.

MSC公司：

68问题55 计算理论中的语义学
03B70号 计算机科学中的逻辑

关键词：

谓词变换语义;关系语义学;功率集中度
PDF格式BibTeX公司 XML格式引用
\textit{I.Rewitzky}和\textit{C.Brink}，正式Asp。计算。7，第2号，169--182（1995；Zbl 0835.68075）
全文： 内政部

参考文献：

[1] Back，R.J.R.：《关于程序的正确优化》，《计算机与科学杂志》，第23期，第49-68页（1981年）·Zbl 0469.68012号 ·doi:10.1016/0022-0000（81）90005-2
[2] Back，R.J.R.：程序推导的精化演算。《信息学报》，259593-624（1988）·Zbl 0658.68018号 ·doi:10.1007/BF00291051
[3] Back，R.J.R.和J.von Wright:精化演算，第一部分：顺序程序，In:1989年REX分布式系统精化研讨会论文集，计算机科学讲义，430，Springer-Verlag:Berlin-Heidelberg-New-York（1989）。
[4] 《Back，R.J.R.和J.von Wright:在程序规范中结合天使、恶魔和奇迹》，《理论计算机科学》，100365-383（1992）·Zbl 0754.68078号 ·doi:10.1016/0304-3975（92）90309-4
[5] Back，R.J.R.和J.von Wright：语句反转和最强后处理，《计算机编程科学》，20（3），223-251（1993）·Zbl 0780.68010号 ·doi:10.1016/0167-6423（93）90015-H
[6] de Bakker，J.W.：《作为谓词变换器的递归程序》，《In:编程概念的形式描述》（E.J.Neuhold（ed）），北荷兰：阿姆斯特丹，第165-181页，1978年。
[7] Bell，J.L.和Slomson，A.R.：《模型与超产品》，第2版，北荷兰：阿姆斯特丹，1971年·Zbl 0179.31402号
[8] Blikle，A.：一些程序验证方法的比较综述，计算机科学的数学基础，J.Gruska（编辑），《计算机科学讲义》53，Springer-Verlag:Berlin-Heidelberg-New York，第17-33页，1977年·兹比尔0361.68011
[9] Blikle，A.：迭代程序的干净终止，信息学学报，161199-217（1981）·Zbl 0469.68022号 ·doi:10.1007/BF00261259
[10] Brink，C.：《权力结构》，《普遍代数》，第30期，第177-216页（1993年）·Zbl 0787.08001号 ·doi:10.1007/BF01196091
[11] Burris，S.和Sankappanavar，H.P.：普世代数课程，施普林格-弗拉格：柏林，1981年·Zbl 0478.08001号
[12] Dijkstra，E.W.：保护命令、程序的不确定性和形式派生，《ACM的通信》，18（8），453-458（1975）·Zbl 0308.68017号 ·数字对象标识代码：10.1145/360933.360975
[13] Dijkstra，E.W.：《程序设计的学科》，普伦蒂斯·霍尔：恩格尔伍德悬崖，新泽西州，1976年·Zbl 0368.68005号
[14] Dijkstra，E.W.和Scholten，C.S.：谓词演算和程序语义，Springer-Verlag：纽约，1990年·Zbl 0698.68011号
[15] Goldblatt，R.：《复代数的多样性》，《纯粹与应用逻辑年鉴》，第44期，第173-242页（1989年）·Zbl 0722.08005号 ·doi:10.1016/0168-0072（89）90032-8
[16] Gries，D.：《编程科学》，Springer-Verlag出版社：纽约，1981年·Zbl 0472.68003号
[17] Gries，D.和Schneider，F.：离散数学的逻辑方法，Springer-Verlag；纽约，1993年·Zbl 0861.03001号
[18] Guerreiro，P.：非确定性程序和谓词变换器的关系模型，摘自：第四届国际自动化学术讨论会论文集，语言与编程，巴黎，计算机科学讲义，83，Springer-Verlag：柏林-海德堡-纽约，第136-146页，1980年·Zbl 0436.68008号
[19] Guerreiro，P.：最弱先决条件的另一个特征，《计算机科学讲义》，137，Springer-Verlag:Berlin-Heidelberg-New York，第164-177页，1982年·Zbl 0482.68021号
[20] Harel，D.：《一阶动态逻辑》，《计算机科学讲义》，第68页，施普林格-弗拉格出版社：柏林-海德堡-纽约，1979年·Zbl 0403.03024号
[21] Hoare，C.A.R.：计算编程的公理基础，ACM通信，12（10），576-583（1969）·Zbl 0179.23105号 ·doi:10.1145/363235.363259
[22] Hoare，C.A.R.：谓词变换器的一些性质，《ACM杂志》，25（3），461-480（1978）·Zbl 0379.68016号 ·数字对象标识代码：10.1145/322077.322088
[23] Hoare，C.A.R.，I.J.Hayes，He Jifeng，C.C.Morgan，A.W.Roscoe，J.W.Sanders，I.H.Sorensen，J.M.Spivey，B.A.Sufrin：《程序设计法》，《ACM通信》，30（8），672-686（1987）。ACM通信勘误表，20（9），770（1987）·Zbl 0629.68006号 ·数字对象标识代码：10.1145/27651.27653
[24] 霍尔，C.A.R.和劳尔，P.E.：程序语言语义的一致和互补的形式理论，信息学学报，3515-153（1974）·Zbl 0264.68006号
[25] Jacobs，D.和Gries，D.：《一般正确性：部分正确性和整体正确性的统一》，《信息学报》，第22期，第67-83页（1985年）·兹伯利0559.68021 ·doi:10.1007/BF000290146
[26] Jónsson，B.和Tarski，A.：带算子的布尔代数I，《美国数学杂志》，73891-939（1951）·Zbl 0045.31505号 ·数字对象标识代码：10.2307/2372123
[27] Majster-Cederbaum，M.E.：非确定性程序的关系和谓词转换语义之间的简单关系，《信息处理快报》，4190-192（1980）·Zbl 0468.68012号 ·doi:10.1016/0020-0190（80）90048-4
[28] Nelson，G.：Dijkstra微积分的推广，《ACM编程语言和系统事务》，11（4），517-561（1989）。 ·数字对象标识代码：10.1145/69558.69559
[29] Nguyen，T.T.：恶魔非确定性程序的关系模型，《国际计算机科学基础杂志》，2（2），101-131（1991）·Zbl 0739.68063号 ·doi:10.1142/S012905419100008X
[30] Plotkin，G.D.：powerdomain结构，SIAM计算杂志，5452-487（1976）·Zbl 0355.68015号 ·数字对象标识代码：10.1137/0205035
[31] Plotkin，G.D.：Dijkstra的谓词变换器和Smyth的powerdomain，In:Proceedings of Abstract Software Specifications，Copenhagen Winter School，G.Goos和J.Hartmanis（eds），《计算机科学讲义》，86，Springer-Verlag:Berlin-Heidelberg-New-York，第527-553页。
[32] de Roever，W.P.：Dijkstra的谓词变换器，非决定论，递归和终止，计算机科学的数学基础讲义，45，Springer-Verlag:Berlin-Heidelberg-New York，pp.472-4811976·Zbl 0341.68014号
[33] Smyth，M.B.：《Power Domains》，《计算机与系统科学杂志》，第16期，第23-36页（1978年）·Zbl 0391.68011号 ·doi:10.1016/0022-0000（78）90048-X
[34] Smyth，M.B.：《幂域和谓词变换器：拓扑视图》，《In:IC ALP 10会议录》，J.Diaz（编辑），《计算机科学讲义》，154，Springer-Verlag:Berlin-Heidelberg-New York，第662-675页，1983年。
[35] Stone，M.H.：《布尔代数的表示理论》，《美国数学学会学报》，第40期，第37-111页（1936年）·Zbl 0014.34002号
[36] Van Benthem，J.：对应理论，《哲学逻辑手册》，D.Gabbay和F.Guenthner（编辑），《多德雷赫特：雷德尔》，第167-247页，1984年·Zbl 0875.03048号
[37] Wand，M.：《最弱前提条件的表征》，《计算机与系统科学杂志》，第15期，209-212页（1977年）·Zbl 0369.68004号 ·doi:10.1016/S0022-0000（77）80006-8
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。