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

Logic of Programs最新文献

筛选
英文 中文
Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL* 决定分支时间逻辑:CTL*的三重指数决策程序
Logic of Programs Pub Date : 1983-06-06 DOI: 10.1007/3-540-12896-4_363
E. Emerson, A. Sistla
{"title":"Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*","authors":"E. Emerson, A. Sistla","doi":"10.1007/3-540-12896-4_363","DOIUrl":"https://doi.org/10.1007/3-540-12896-4_363","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"596 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116196399","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}
引用次数: 16
Hoare's Logic for Programs with Procedures - What Has Been Achieved? Hoare的程序逻辑——实现了什么?
Logic of Programs Pub Date : 1983-06-06 DOI: 10.1007/3-540-12896-4_375
E. Olderog
{"title":"Hoare's Logic for Programs with Procedures - What Has Been Achieved?","authors":"E. Olderog","doi":"10.1007/3-540-12896-4_375","DOIUrl":"https://doi.org/10.1007/3-540-12896-4_375","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123982560","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}
引用次数: 14
A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract) 动态过程网络部分正确性的证明系统(扩展摘要)
Logic of Programs Pub Date : 1983-06-06 DOI: 10.1007/3-540-12896-4_384
J. Zwiers, A. Bruin, W. D. Roever
{"title":"A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract)","authors":"J. Zwiers, A. Bruin, W. D. Roever","doi":"10.1007/3-540-12896-4_384","DOIUrl":"https://doi.org/10.1007/3-540-12896-4_384","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122673512","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}
引用次数: 38
A Compete Proof Rule for Strong Equifair Termination 强公平终止的竞争证明规则
Logic of Programs Pub Date : 1983-06-06 DOI: 10.1007/3-540-12896-4_367
O. Grumberg, N. Francez, Shmuel Katz
{"title":"A Compete Proof Rule for Strong Equifair Termination","authors":"O. Grumberg, N. Francez, Shmuel Katz","doi":"10.1007/3-540-12896-4_367","DOIUrl":"https://doi.org/10.1007/3-540-12896-4_367","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129780785","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}
引用次数: 9
A Semantics and Proof System for Communicating Processes 通信过程的语义和证明系统
Logic of Programs Pub Date : 1983-06-06 DOI: 10.1007/3-540-12896-4_356
S. Brookes
{"title":"A Semantics and Proof System for Communicating Processes","authors":"S. Brookes","doi":"10.1007/3-540-12896-4_356","DOIUrl":"https://doi.org/10.1007/3-540-12896-4_356","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125643384","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}
引用次数: 22
Compactness in Semantics for Merge and Fair Merge 合并和公平合并语义的紧凑性
Logic of Programs Pub Date : 1983-06-06 DOI: 10.1007/3-540-12896-4_352
J. Bakker, J. Zucker
{"title":"Compactness in Semantics for Merge and Fair Merge","authors":"J. Bakker, J. Zucker","doi":"10.1007/3-540-12896-4_352","DOIUrl":"https://doi.org/10.1007/3-540-12896-4_352","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123333344","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}
引用次数: 27
Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report) 程序设计形式化大学的充分必要条件(部分报告)
Logic of Programs Pub Date : 1983-06-06 DOI: 10.1007/3-540-12896-4_368
A. Kfoury, P. Urzyczyn
{"title":"Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report)","authors":"A. Kfoury, P. Urzyczyn","doi":"10.1007/3-540-12896-4_368","DOIUrl":"https://doi.org/10.1007/3-540-12896-4_368","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124429124","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
Mathematics as Programming 作为程序设计的数学
Logic of Programs Pub Date : 1983-06-06 DOI: 10.1007/3-540-12896-4_359
R. Constable
{"title":"Mathematics as Programming","authors":"R. Constable","doi":"10.1007/3-540-12896-4_359","DOIUrl":"https://doi.org/10.1007/3-540-12896-4_359","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"62 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113970172","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}
引用次数: 38
The Deducibility Problem in Propositional Dynamic Logic 命题动态逻辑中的演绎问题
Logic of Programs Pub Date : 1981-07-13 DOI: 10.1007/3-540-11160-3_2
A. Meyer, Robert S. Streett, G. Mirkowska
{"title":"The Deducibility Problem in Propositional Dynamic Logic","authors":"A. Meyer, Robert S. Streett, G. Mirkowska","doi":"10.1007/3-540-11160-3_2","DOIUrl":"https://doi.org/10.1007/3-540-11160-3_2","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133565304","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}
引用次数: 19
Program Logics and Program Verification (position paper) 程序逻辑和程序验证(意见书)
Logic of Programs Pub Date : 1981-05-04 DOI: 10.1007/BFb0025784
L. Lamport, S. Owicki
{"title":"Program Logics and Program Verification (position paper)","authors":"L. Lamport, S. Owicki","doi":"10.1007/BFb0025784","DOIUrl":"https://doi.org/10.1007/BFb0025784","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121227216","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信