{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:15Z","timestamp":1725663015484},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540095415"},{"type":"electronic","value":"9783540350101"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/3-540-09541-1_30","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:49:41Z","timestamp":1330188581000},"page":"252-281","source":"Crossref","is-referenced-by-count":1,"title":["A calculus for proving properties of while-programs"],"prefix":"10.1007","author":[{"given":"Ingrid","family":"Glasner","sequence":"first","affiliation":[]},{"given":"Jacques","family":"Loeckx","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1137\/0205029","volume":"5","author":"E. A. Ashcroft","year":"1976","unstructured":"E.A. Ashcroft, W.W. Wadge, \"LUCID, a formal system for writing and proving programs\", SIAM Journal Comp. 5, 3 (1976)","journal-title":"SIAM Journal Comp."},{"key":"10_CR2","unstructured":"E.W. Dijkstra, \"A discipline of programming\", Prentice Hall, 1976"},{"key":"10_CR3","volume-title":"Formale Beweise \u00fcber while-Programme: Ein Kalk\u00fcl und sein Modell","author":"I. Glasner","year":"1978","unstructured":"I. Glasner, \"Formale Beweise \u00fcber while-Programme: Ein Kalk\u00fcl und sein Modell\", Diplomarbeit, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1978"},{"key":"10_CR4","first-page":"10","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"C.A.R. Hoare, \"An axiomatic basis of computer programming\", Comm. ACM 12, 10 (1969)","journal-title":"Comm. ACM"},{"key":"10_CR5","volume-title":"An algorithm normalizing elementary while-programs","author":"S. Lehmann","year":"1976","unstructured":"S. Lehmann, J. Loeckx, \"An algorithm normalizing elementary while-programs\", Bericht A 76\/14, Fachbereich 10, Universit\u00e4t des Saarlandes, Saarbr\u00fccken (1976)."},{"key":"10_CR6","unstructured":"Z. Manna, \"Mathematical theory of computation\", McGraw-Hill, 1974"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00288637","volume":"3","author":"Z. Manna","year":"1974","unstructured":"Z. Manna, A. Pnueli, \"Axiomatic approach to total correctness of programs\", Acta Informatica 3, 3 (1974)","journal-title":"Acta Informatica"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/942578.807067","volume":"7","author":"R. Milner","year":"1972","unstructured":"R. Milner, \"Implementation and application of Scott's logic for computable functions\", SIGPLAN Notices 7,1 (1972)","journal-title":"SIGPLAN Notices"},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/359461.359466","volume":"20","author":"J. H. Morris","year":"1977","unstructured":"J.H. Morris, B. Wegbreit, \"Subgoal induction\", Comm. ACM 20, 4 (1977).","journal-title":"Comm. ACM"}],"container-title":["Lecture Notes in Computer Science","Mathematical Studies of Information Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09541-1_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:01:20Z","timestamp":1619557280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09541-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540095415","9783540350101"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-09541-1_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]}}}