{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:17Z","timestamp":1725663077229},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540078043"},{"type":"electronic","value":"9783540382157"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/3-540-07804-5_34","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:09:49Z","timestamp":1330186189000},"page":"276-286","source":"Crossref","is-referenced-by-count":0,"title":["A case study of structured programming with correctness proofs"],"prefix":"10.1007","author":[{"given":"J. D.","family":"Ichbiah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. C.","family":"Heliard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/362929.362947","volume":"II","author":"E. W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W., \"Goto statement considered harmful\", CACM, Vol. II (March 1968) pp 147\u2013148.","journal-title":"CACM"},{"key":"16_CR2","first-page":"1","volume-title":"Structured Programming","author":"E. W. Dijkstra","year":"1972","unstructured":"Dijkstra, E.W., \"Notes on structure programming\", in Structured Programming, pp 1\u201382, Academic Press, London (1972)."},{"key":"16_CR3","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R. W. Floyd","year":"1967","unstructured":"Floyd, R.W., \"Assigning meanings to programs\", Proc. Am Math. Soc. Symp in Applied Math. 19 (1967) pp 19\u201331.","journal-title":"Proc. Am Math. Soc. Symp in Applied Math."},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"Hoare, C.A.R., \"An axiomatic basis for computer programming\", CACM, Vol. 12 (October 1969) pp 576\u2013583.","journal-title":"CACM"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/362452.362489","volume":"14","author":"C. A. R. R. Hoare","year":"1971","unstructured":"Hoare, C.A.R., \"Proof of a program: FIND\", CACM, Vol. 14 (January 1971) pp 39\u201345.","journal-title":"CACM"},{"issue":"4","key":"16_CR6","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1145\/321607.321610","volume":"17","author":"D. I. Good","year":"1970","unstructured":"Good, D.I., London, R.L., \"Computer Interval Arithmetic: definition and proof of correct implementation\", JACM, Vol. 17,4 (October 1970) pp 603\u2013612.","journal-title":"JACM"},{"key":"16_CR7","volume-title":"Systematic Programming: An Introduction","author":"N. Wirth","year":"1973","unstructured":"Wirth, N., \"Systematic Programming: An Introduction\", Prentice Hall, Englewood Cliffs, N.J., (1973)."},{"unstructured":"Manna, Z., \"Mathematical Theory of Computation\", Mc Graw Hill, (1974).","key":"16_CR8"},{"unstructured":"Robinson, L., Levitt, K.N., \"Proof techniques for hierarchically structured programs\", Stanford Research Institute, SRI technical report, (January 1975).","key":"16_CR9"},{"doi-asserted-by":"crossref","unstructured":"Infante, R., Montanari, U., \"Proving Structured programs correct, level by level\", Proc. Int. Conf. on Reliable Software, (April 1975) pp 427\u2013436.","key":"16_CR10","DOI":"10.1145\/800027.808466"},{"doi-asserted-by":"crossref","unstructured":"Mills, H.D., \"How to write correct programs and know it\", Proc. Int. Conf. on Reliable Software, (April 1975) pp 363\u2013370.","key":"16_CR11","DOI":"10.1145\/800027.808459"},{"unstructured":"Ichbiah, J.D., Rissen, J.P., Heliard, J.C., Cousot, P., \"The system implementation language LIS\", CII technical report 4549 E\/EN (December 1974).","key":"16_CR12"}],"container-title":["Lecture Notes in Computer Science","ECI Conference 1976"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07804-5_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:50:01Z","timestamp":1619556601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07804-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540078043","9783540382157"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-07804-5_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1976]]}}}