发布求助
文献互助 智能选刊 最新文献

Logic of Programs最新文献

筛选
英文 中文
On Algorithmic Logic with Partial Operations 关于部分运算的算法逻辑
Logic of Programs Pub Date : 1980-08-23 DOI: 10.1007/3-540-11981-7_15
U. Petermann
{"title":"On Algorithmic Logic with Partial Operations","authors":"U. Petermann","doi":"10.1007/3-540-11981-7_15","DOIUrl":"https://doi.org/10.1007/3-540-11981-7_15","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130382026","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
An operational semantics for CSO CSO的操作语义
Logic of Programs Pub Date : 1980-08-23 DOI: 10.1007/3-540-11981-7_17
G. Plotkin
{"title":"An operational semantics for CSO","authors":"G. Plotkin","doi":"10.1007/3-540-11981-7_17","DOIUrl":"https://doi.org/10.1007/3-540-11981-7_17","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124338486","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Algebraic semantics and program logics: Algorithmic logic for program trees 代数语义和程序逻辑:程序树的算法逻辑
Logic of Programs Pub Date : 1980-08-23 DOI: 10.1007/3-540-11981-7_9
P. Enjalbert
{"title":"Algebraic semantics and program logics: Algorithmic logic for program trees","authors":"P. Enjalbert","doi":"10.1007/3-540-11981-7_9","DOIUrl":"https://doi.org/10.1007/3-540-11981-7_9","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122885745","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On axiomatization of process logic 论过程逻辑的公理化
Logic of Programs Pub Date : 1980-08-23 DOI: 10.1007/3-540-11981-7_22
M. Valiev
{"title":"On axiomatization of process logic","authors":"M. Valiev","doi":"10.1007/3-540-11981-7_22","DOIUrl":"https://doi.org/10.1007/3-540-11981-7_22","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125366468","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Are infinite behaviors of parallel system schemata necessary? 并行系统模式的无限行为是必要的吗?
Logic of Programs Pub Date : 1980-08-23 DOI: 10.1007/3-540-11981-7_7
L. Czaja
{"title":"Are infinite behaviors of parallel system schemata necessary?","authors":"L. Czaja","doi":"10.1007/3-540-11981-7_7","DOIUrl":"https://doi.org/10.1007/3-540-11981-7_7","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128692557","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Sharpening the characterization of the power of Floyd method 锐化了佛洛伊德方法的表征力
Logic of Programs Pub Date : 1980-08-23 DOI: 10.1007/3-540-11981-7_1
H. Andréka
{"title":"Sharpening the characterization of the power of Floyd method","authors":"H. Andréka","doi":"10.1007/3-540-11981-7_1","DOIUrl":"https://doi.org/10.1007/3-540-11981-7_1","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"280 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131773903","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Semantics and implementation of prefixing at many levels 在许多层次上前缀的语义和实现
Logic of Programs Pub Date : 1980-08-23 DOI: 10.1007/3-540-11981-7_3
W. Bartol, A. Kreczmar, A. I. Litwiniuk, H. Oktaba
{"title":"Semantics and implementation of prefixing at many levels","authors":"W. Bartol, A. Kreczmar, A. I. Litwiniuk, H. Oktaba","doi":"10.1007/3-540-11981-7_3","DOIUrl":"https://doi.org/10.1007/3-540-11981-7_3","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134131325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Programming languages and logics of programs 编程语言和程序逻辑
Logic of Programs Pub Date : 1980-08-23 DOI: 10.1007/3-540-11981-7_18
S. Radev
{"title":"Programming languages and logics of programs","authors":"S. Radev","doi":"10.1007/3-540-11981-7_18","DOIUrl":"https://doi.org/10.1007/3-540-11981-7_18","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133894456","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On proving program correctness by means of stepwise refinement method 用逐步细化法证明程序的正确性
Logic of Programs Pub Date : 1980-08-23 DOI: 10.1007/3-540-11981-7_2
L. Banachowski
{"title":"On proving program correctness by means of stepwise refinement method","authors":"L. Banachowski","doi":"10.1007/3-540-11981-7_2","DOIUrl":"https://doi.org/10.1007/3-540-11981-7_2","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"155 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124892114","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Nonstandard runs of Floyd-provable programs 非标准运行弗洛伊德可证明的程序
Logic of Programs Pub Date : 1980-08-23 DOI: 10.1007/3-540-11981-7_13
I. Németi
{"title":"Nonstandard runs of Floyd-provable programs","authors":"I. Németi","doi":"10.1007/3-540-11981-7_13","DOIUrl":"https://doi.org/10.1007/3-540-11981-7_13","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1980-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130381048","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信