{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:41Z","timestamp":1725663221067},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156482"},{"type":"electronic","value":"9783540395270"}],"license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15648-8_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:20:18Z","timestamp":1330176018000},"page":"118-127","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On the relative incompleteness of logics for total correctness"],"prefix":"10.1007","author":[{"given":"Micha\u0142","family":"Grabowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/357146.357150","volume":"3","author":"K.R. Apt","year":"1981","unstructured":"Apt, K.R.,Ten years of Hoare Logics,TOPLAS 3\/4\/,431\u2013483,1981","journal-title":"TOPLAS"},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/322108.322121","volume":"26","author":"E.M. Clarke","year":"1979","unstructured":"Clarke, E.M.,Programming language constructs for which it is impossible to obtain good Hoare axiom systems,JACM,26,1,January 1979","journal-title":"JACM"},{"key":"10_CR3","unstructured":"Clarke, E.M.,The characterization problem for Hoare Logics, manuscript"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"612","DOI":"10.1145\/2402.322394","volume":"30","author":"E.M. Clarke","year":"1983","unstructured":"Clarke E.M.,German S.M.,Halpern J.Y.,Effective axiomatizations of Hoare Logics,JACM 30,612\u2013636,1983","journal-title":"JACM"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"S. Cook","year":"1978","unstructured":"Cook S.,Soundness and completeness of an axiomatic system for program verification,SIAM J. on Comp.,7,70\u201390,1978","journal-title":"SIAM J. on Comp."},{"key":"10_CR6","unstructured":"Friedman H.,Algorithmic procedures, generalized Turing algorithms and elementary recursion theory, Gandy and Yates eds.,Logic Colloquium 69"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Grabowski M.,On relative completeness of programming logics, Proc. 11th ACM Symp. POPL,258\u2013261,1984","DOI":"10.1145\/800017.800537"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Halpern J.Y.,A good Hoare axiom system for an Algol-like language, Proc. 11th ACM Symp. on POPL,262\u2013271,1984","DOI":"10.1145\/800017.800538"},{"key":"10_CR9","unstructured":"Harel D.,Logics of programs: axiomatics and descriptive power, report, MIT\/LCS\/TR-200, 1978"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Lipton R.J.,A necessary and sufficient conditions for the existance of Hoare Logics, 18th IEEE Symp.FOCS,pp.1\u20136, 1977","DOI":"10.1109\/SFCS.1977.1"},{"key":"10_CR11","unstructured":"Makowski J.A., Model theoretical issues in theoretical computer Science, Logic Colloquium 1982"}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15648-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T18:52:41Z","timestamp":1578509561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15648-8_10"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156482","9783540395270"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-15648-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}