{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:12:04Z","timestamp":1725631924187},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540517436"},{"type":"electronic","value":"9783642751004"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-75100-4_39","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T18:09:29Z","timestamp":1320862169000},"page":"338-347","source":"Crossref","is-referenced-by-count":0,"title":["Machine-Assisted Program Construction and Modification"],"prefix":"10.1007","author":[{"given":"M.","family":"Heisel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Stephan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Program construction.LNCS","year":"1979","key":"39_CR1","unstructured":"Bauer, F. L., Broy, M. (eds.): Program construction.LNCS, Vol. 69. Springer (1979)"},{"issue":"1","key":"39_CR2","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"RM Burstall","year":"1977","unstructured":"Burstall, R. M., Darlington, J.: A transformation system for developing recursive programsJ. ACM 24,1 (Jan. 1977), 44\u201367","journal-title":"J. ACM"},{"key":"39_CR3","unstructured":"Burstall, R.M. Program Proving as Hand Simulation with a little Induction. Information Processing 74, North-Holland Publishing Company (1974)"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"Gordon,M\/Milner,R.\/Wadsworth,C. Edinburgh LCF. Springer LNCS 78 (1979)","DOI":"10.1007\/3-540-09724-4"},{"key":"39_CR5","volume-title":"Axiomatising the Logic of Computer Programming","author":"R Goldblatt","year":"1982","unstructured":"Goldblatt, R. Axiomatising the Logic of Computer Programming. Springer LNCS 130 (1982)"},{"key":"39_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D Gries","year":"1981","unstructured":"Gries, D. The Science of Programming, Springer-Verlag (1981)"},{"key":"39_CR7","unstructured":"Heisel, M. A Formalization and Implementation of Gries\u2019s Program Development Method within the KIV Environment. Int. Bericht 3\/89, Fak. f\u00fcr Informatik, Univ. Karlsruhe"},{"key":"39_CR8","first-page":"152","volume-title":"Informatik Fachberichte","author":"M Heisel","year":"1987","unstructured":"Heisel,M.\/Reif, W.\/Stephan, W. Program Verification by Symbolic Execution and Induction. Proc. 11-th GWAI, K. Morik (ed), Informatik Fachberichte 152, Springer-Verlag (1987)"},{"key":"39_CR9","first-page":"131","volume":"310","author":"M Heisel","year":"1988","unstructured":"Heisel,M.\/Reif, W.\/Stephan, W. Implementing Verification Strategies in the KIV Sys-tem. Proc. 9-th CADE, E. Lusk\/R. Overbeek (eds), Springer LNCS 310 (1988), pp. 131\u2013140","journal-title":"Springer LNCS"},{"key":"39_CR10","volume-title":"Intuitionistic Type Theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P. Intuitionistic Type Theory, Bibliopolis (1984)"},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"Manna, Z., Waldinger, R.: Is \u201cSometime\u201d Sometimes Better than \u201cAlways\u201d? Comm. ACM 21,2 (Febr. 1978), 159\u2013172","DOI":"10.1145\/359340.359353"},{"key":"39_CR12","volume-title":"Programming in Constructive Set Theory: Some Examples","author":"B Nordstr\u00f6m","year":"1981","unstructured":"Nordstr\u00f6m, B. Programming in Constructive Set Theory: Some Examples. JACM (1981)"},{"key":"39_CR13","volume-title":"Vollst\u00e4ndigkeit einer modifizierten Goldblatt-Logik und Approximation der Omegaregel durch Induktion","author":"W Reif","year":"1984","unstructured":"Reif, W. Vollst\u00e4ndigkeit einer modifizierten Goldblatt-Logik und Approximation der Omegaregel durch Induktion. Diplomarbeit, Universit\u00e4t Karlsruhe (1984)"},{"key":"39_CR14","volume-title":"Axiomatising Recursive Procedures in Dynamic Logic","author":"W Stephan","year":"1989","unstructured":"Stephan, W. Axiomatising Recursive Procedures in Dynamic Logic. Forthcoming (1989)"}],"container-title":["Informatik-Fachberichte","GWAI-89 13th German Workshop on Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-75100-4_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:30:00Z","timestamp":1606271400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-75100-4_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540517436","9783642751004"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-75100-4_39","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}