{"title":"Correctness of Programs with Function Procedures","authors":"J. Bakker, J. Klop, J. Meyer","doi":"10.1007/BFb0025776","DOIUrl":"https://doi.org/10.1007/BFb0025776","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"8 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123649414","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}
{"title":"Keeping a Foot on the Ground (position paper)","authors":"B. Hailpern","doi":"10.1007/BFb0025778","DOIUrl":"https://doi.org/10.1007/BFb0025778","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127238757","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}
{"title":"A Formalism for Reasoning about Fair Termination","authors":"W. D. Roever","doi":"10.1007/BFb0025777","DOIUrl":"https://doi.org/10.1007/BFb0025777","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"310 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115943020","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}
{"title":"Hoare's Logic is Incomplete When It Does Not Have To Be","authors":"J. Bergstra, Anna Chmielinska, J. Tiuryn","doi":"10.1007/BFb0025771","DOIUrl":"https://doi.org/10.1007/BFb0025771","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130159912","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}
{"title":"The Refinement of Specifications and the Stabiliy of Hoare's Logic","authors":"J. Bergstra, J. V. Tucker","doi":"10.1007/BFb0025772","DOIUrl":"https://doi.org/10.1007/BFb0025772","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128265542","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}
{"title":"Toward a Logical Thoery of Program Data","authors":"Robert Cartwright","doi":"10.1007/BFb0025773","DOIUrl":"https://doi.org/10.1007/BFb0025773","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121923336","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}
{"title":"Proof Rules Dealing with Fairness","authors":"K. Apt, E. Olderog","doi":"10.1007/BFb0025770","DOIUrl":"https://doi.org/10.1007/BFb0025770","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121924949","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}
{"title":"Critical Remarks on MAX Model of Concurrency","authors":"A. Salwicki","doi":"10.1007/BFb0025793","DOIUrl":"https://doi.org/10.1007/BFb0025793","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115675189","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}
{"title":"TIMESETS -- A New Method for Temporal Reasoning about Programs","authors":"L. Lamport","doi":"10.1007/BFb0025783","DOIUrl":"https://doi.org/10.1007/BFb0025783","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122358620","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}
{"title":"Some Observations on Compositional Semantics","authors":"T. Janssen, P. Boas","doi":"10.1007/BFb0025780","DOIUrl":"https://doi.org/10.1007/BFb0025780","url":null,"abstract":"","PeriodicalId":264882,"journal":{"name":"Logic of Programs","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124799989","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}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：