{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:45Z","timestamp":1725663225581},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156482"},{"type":"electronic","value":"9783540395270"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15648-8_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:20:53Z","timestamp":1330194053000},"page":"190-195","source":"Crossref","is-referenced-by-count":0,"title":["Partial-correctness theories as first-order theories"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Leviant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"15_CR1","series-title":"Preprint, Technical Report","volume-title":"The axiomatic semantics of programs based on Hoare's Logic","author":"J. A. Bergstra","year":"1983","unstructured":"Jan A. Bergstra and John V. Tucker, The axiomatic semantics of programs based on Hoare's Logic; Preprint, Technical Report 1W 236\/83, September 1983, Mathematisch Centrum, Amsterdam."},{"key":"15_CR2","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"Edsger W. Dijkstra, A Discipline of Programming; Prentice-Hall, Englewood Cliffs (1976) xvii+217pp."},{"key":"15_CR3","volume-title":"A Mathematical Introduction to logic","author":"H. B. Enderton","year":"1970","unstructured":"Herbert B. Enderton, A Mathematical Introduction to logic; Academic Press, New York (1970) xiii+295pp."},{"key":"15_CR4","first-page":"135","volume":"3","author":"C.A.R. Hoare","year":"1974","unstructured":"C.A.R. Hoare and P. Lauer, Consistent and complementary formal theories of the semantics of programming languages;\nActa Informatica 3 (1974) 135\u2013155.","journal-title":"Acta Informatica"},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"C.A.R. Hoare, An axiomatic basis for computer programming;\nCommunications of the ACM 12 (1969) 576\u2013580.","journal-title":"Communications of the ACM"},{"key":"15_CR6","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/322307.322324","volume":"29","author":"A. Meyer","year":"1982","unstructured":"Albert Meyer and Joseph Halpern, Axiomatic definition of programming languages: a theoretical assessment,\nJournal of the ACM 29 (1982) 555\u2013576.","journal-title":"Journal of the ACM"},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C.A.R. Hoare","year":"1973","unstructured":"C.A.R. Hoare and Nicolas Wirth, An axiomatic definition of the programming language PASCAL;\nActa Informatica 2 (1973) 335\u2013355.","journal-title":"Acta Informatica"},{"key":"15_CR8","volume-title":"Consistent and complementary formal theories of the semantics of programming languages","author":"P. Lauer","year":"1972","unstructured":"P. Lauer. Consistent and complementary formal theories of the semantics of programming languages; PhD Thesis, Queens University, Belfast (1972)."},{"key":"15_CR9","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0022-0000(69)80009-7","volume":"3","author":"Z. Manna","year":"1969","unstructured":"Zohar Manna, The correctness of programs;\nJournal of Computer and Systems Science 3 (1969) 119\u2013127.","journal-title":"Journal of Computer and Systems Science"},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF01744573","volume":"16","author":"R. Parikh","year":"1983","unstructured":"Rohit Parikh, Some applications of topology to program semantics;\nMath. Systems Theory 16 (1983) 111\u2013131.","journal-title":"Math. Systems Theory"},{"key":"15_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66473-1","volume-title":"Proof Theory","author":"K. Schutte","year":"1977","unstructured":"Kurt Schutte, Proof Theory; Springer-Verlag, Berlin (1977) xii+299pp."}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15648-8_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:59:54Z","timestamp":1619557194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15648-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156482","9783540395270"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-15648-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}