{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:32:13Z","timestamp":1725622333685},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540076193"},{"type":"electronic","value":"9783642663192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/978-3-642-66319-2_22","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T20:27:15Z","timestamp":1318969635000},"page":"253-267","source":"Crossref","is-referenced-by-count":0,"title":["On Generating Verification Conditions for Correctness Proofs"],"prefix":"10.1007","author":[{"given":"James C.","family":"King","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"Strong verification of Programs. Soft. Eng. and Sys. Lab., Univ. of Texas-Austin","author":"SK Basu","year":"1975","unstructured":"Basu, S. K. and Yeh, R. T. Strong verification of Programs. Soft. Eng. and Sys. Lab., Univ. of Texas-Austin, Techn. Report SESLTR-13, 1975."},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/321864.321875","volume":"22","author":"RS Boyer","year":"1975","unstructured":"Boyer, R. S. and Moore, J. S. Proving theorems about Lisp functions. JACM, vol. 22, no. 1, January 1975, pp. 48 - 59.","journal-title":"JACM"},{"key":"22_CR3","first-page":"308","volume-title":"Information Processing 74","author":"RM Burstall","year":"1974","unstructured":"Burstall, R. M. Program proving as hand simulation with a little induction. Information Processing 74, Proceedings of IFIP Congress 74, J. L. Rosenfeld, ed., North-Holland, 308-312, 1974."},{"key":"22_CR4","first-page":"263","volume-title":"The single assignment approach to parallel processing","author":"Chamberlan","year":"1971","unstructured":"Chamberlan, Donald D. The single assignment approach to parallel processing. FJCC, Las Vegas, Nov. 1971. pp 263 - 269."},{"key":"22_CR5","volume-title":"A semantic approach to automatic program improvement","author":"J Darlington","year":"1973","unstructured":"Darlington, John. A semantic approach to automatic program improvement, Ph.D. dissertation, Univ. of Edinburgh, 1973."},{"key":"22_CR6","unstructured":"Deutsch, L. P. An Interactive Program Verifier. Ph.D. dissertation, Dept. Comp. Sci., Univ. of Calif., Berkeley CA., May 1973. (Also Xerox PARC Report CSL-73-1, Palo Alto, CA. )"},{"issue":"8","key":"22_CR7","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"Dijkstra, E. W. Guarded commands, non-determinacy and a calculus for the derivation of programs. CACM, vol. 18, no. 8, August 1975, pp. 453 - 457.","journal-title":"CACM"},{"issue":"2","key":"22_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/356599.356602","volume":"4","author":"B Elspas","year":"1972","unstructured":"Elspas, B. et al. An assessment of techniques for proving program correctness, Comp. Surveys, Vol. 4, No. 2, June 1972, pp. 97 - 147.","journal-title":"Comp. Surveys"},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"RW Floyd","year":"1967","unstructured":"Floyd, R. W. Assigning meanings to programs, Proc. Symp. Appl. Math., Amer. Math. Soc., vol. 19, pp. 19 - 32, 1967.","journal-title":"Proc. Symp. Appl. Math., Amer. Math. Soc"},{"key":"22_CR10","volume-title":"Towards a man-machine system for proving program correctness","author":"DI Good","year":"1970","unstructured":"Good, D. I. Towards a man-machine system for proving program correctness. Ph.D dissertation, Univ. of Wisc., 1970."},{"issue":"10","key":"22_CR11","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C. A. R. An axiomatic basis for computer programming. CACM, vol. 12. no. 10, Oct. 1969, pp. 576 - 583.","journal-title":"CACM"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"1331","DOI":"10.1109\/T-C.1971.223135","volume":"11","author":"JC King","year":"1971","unstructured":"King, J. C. Proving programs to be correct, IEEE Trans. on Comp., Vol. C-20, No. 11, November 1971, pp. 1331 - 1336.","journal-title":"IEEE Trans. on Comp., Vol. C-20"},{"key":"22_CR13","volume-title":"A Program Verifier","author":"JC King","year":"1969","unstructured":"King, J. C. A Program Verifier. Ph.D. dissertation, Carnegie-Mellon Univ., Pittsburgh, Pa., 1969."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"King, J. C. A new approach to program testing, 1975 Int. Conf. on Reliable Software, April 1975, pp. 228-233. (Also appears in Programming Methodology, Lect. Notes in Comp. Sci., 23, Springer-Verlag, 1974, 278-290.)","DOI":"10.1007\/3-540-07131-8_30"},{"key":"22_CR15","volume-title":"Introduction to Mathematical Theory of Computation","author":"Z Manna","year":"1974","unstructured":"Manna, Z. Introduction to Mathematical Theory of Computation, McGraw-Hill Book Company, New York, N. Y., 1974."},{"issue":"4","key":"22_CR16","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/BF01966091","volume":"6","author":"P Naur","year":"1966","unstructured":"Naur, P. Proof of algorithms by general snapshots. BIT 6, 4, 1966, pp. 310 - 316.","journal-title":"BIT"},{"key":"22_CR17","volume-title":"Interactive Program Verification Using Virtual Programs","author":"RW Topor","year":"1975","unstructured":"Topor, R. W. Interactive Program Verification Using Virtual Programs. Ph.D. dissertation, Dept. of AI, Univ. of Edinburgh, 1975."},{"issue":"3","key":"22_CR18","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0004-3702(74)90015-0","volume":"5","author":"RJ Waldinger","year":"1974","unstructured":"Waldinger, R. J. and Levitt, K. N. Reasoning about programs. Artif. Intell., 5, 3, 1974, pp. 235 - 316.","journal-title":"Artif. Intell"}],"container-title":["Informatik-Fachberichte","Programmiersprachen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-66319-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:50:31Z","timestamp":1606254631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-66319-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540076193","9783642663192"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-66319-2_22","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1976]]}}}