{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:42Z","timestamp":1725663102946},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540078548"},{"type":"electronic","value":"9783540381693"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/3-540-07854-1_181","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:11:51Z","timestamp":1330186311000},"page":"244-249","source":"Crossref","is-referenced-by-count":0,"title":["A note on the automatic generation of inductive assertions"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Coy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"25_CR1","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 12, Oct. 1969, pp. 576\u2013580, 583.","journal-title":"CACM"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"FLOYD, R.W., Assigning meaning to programs, in Proc. of a Symp. in Appl. Math., Vol. 19, J.T.Schwartz (ed.), AMS, Providence Island, 1967, pp. 19\u201332.","DOI":"10.1090\/psapm\/019\/0235771"},{"volume-title":"Mathematical Theory of Computation","year":"1974","author":"Z. Manna","key":"25_CR3","unstructured":"MANNA, Z., Mathematical Theory of Computation, McGraw-Hill, New York, 1974."},{"key":"25_CR4","unstructured":"ELSPAS, B., The semi-automatic generation of inductive assertions for program correctness proofs, GMD-Bericht Nr.55, St.Augustin (W. Germany), 1972."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"WEGBREIT, B., The synthesis of loop predicates, CACM 17, No. 2, Feb. 1974, pp. 102\u2013112.","DOI":"10.1145\/360827.360850"},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF00288637","volume":"3","author":"Z. Manna","year":"1974","unstructured":"MANNA, Z. and PNUELI, A., Axiomatic approach to total correctness of programs, Acta informatica 3, 1974, pp. 243\u2013263.","journal-title":"Acta informatica"},{"issue":"5","key":"25_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0020-0190(76)90025-9","volume":"4","author":"W. Coy","year":"1976","unstructured":"COY, W., Inductive assertions in subrecursive programming languages, Information Proc. Letters, Vol. 4, No. 5, 1976, pp. 121\u2013126.","journal-title":"Information Proc. Letters"},{"volume-title":"Structered programming","year":"1972","author":"O.-J. Dahl","key":"25_CR8","unstructured":"DAHL, O.-J., DIJKSTRA, E.W., and HOARE, C.A.R., Structered programming, Academic Press, London, 1972."},{"volume-title":"Introduction to metamathematics","year":"1971","author":"S. C. Kleene","key":"25_CR9","unstructured":"KLEENE, S.C., Introduction to metamathematics, North Holland Publ., Amsterdam, 1971."},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00d6DEL, K., \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme 1, Monatshefte f\u00fcr Mathematik und Physik 38, 1931, pp. 173\u2013198.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1976"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07854-1_181.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:58:33Z","timestamp":1605643113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07854-1_181"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540078548","9783540381693"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-07854-1_181","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1976]]}}}