{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:32Z","timestamp":1725662912603},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540073895"},{"type":"electronic","value":"9783540375852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07389-2_235","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:56:24Z","timestamp":1330185384000},"page":"465-471","source":"Crossref","is-referenced-by-count":0,"title":["Proving properties of programs by means of predicate logic"],"prefix":"10.1007","author":[{"given":"J\u00f3zef","family":"Winkowski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"58_CR1","unstructured":"de Bakker, J.W., Recursive procedures. Proc. M-25 Informatica Symp., Math. Center Tracts 37, Amsterdam, 1971."},{"key":"58_CR2","unstructured":"Blikle, A. and Mazurkiewicz, A., An algebraic approach to the theory of programs, algorithms, languages and recursiveness. Proc. of Symp. and Summer School on MFCS (Mathematical Foundations of Computer Science), Warsaw-Jab\u0142onna, August 21\u201327, 1972."},{"key":"58_CR3","unstructured":"Blikle, A., An extended approach to mathematical analysis of programs. CC PAS Reports 169, 1974."},{"key":"58_CR4","doi-asserted-by":"crossref","unstructured":"Clint, M., Program proving: Coroutines. Acta Informatica 2(1973)","DOI":"10.1007\/BF00571463"},{"key":"58_CR5","first-page":"157","volume-title":"An approach to correctness proofs of semicoroutines","author":"O. J. Dahl","year":"1975","unstructured":"Dahl, O.J., An approach to correctness proofs of semicoroutines. Proc. of Symp. and Summer School on MFCS, Warsaw-Jadwisin, June 17\u201322, 1974, Springer-Verlag, Berlin, 1975, pp. 157\u2013174."},{"key":"58_CR6","unstructured":"Mazurkiewicz, A., Recursive algorithms and formal languages. Bull. Acad. Polon. Sci., S\u00e9r. Sci. Math. Astronom. Phys. 20(1972)."},{"key":"58_CR7","first-page":"293","volume-title":"Langages alg\u00e9briques sur le magma libre et s\u00e9mantique des sch\u00e9mas de programmes","author":"M. Nivat","year":"1972","unstructured":"Nivat, M., Langages alg\u00e9briques sur le magma libre et s\u00e9mantique des sch\u00e9mas de programmes. Proc. IRIA Symp. on Automata, Formal Languages and Programming 1972, North-Holland, Amsterdam. pp. 293\u2013308."},{"key":"58_CR8","first-page":"423","volume-title":"\u03c9+-valued algorithmic logic as a tool to investigate procedures","author":"H. Rasiowa","year":"1975","unstructured":"Rasiowa, H., \u03c9+-valued algorithmic logic as a tool to investigate procedures. Proc. of Symp. and Summer School on MFCS, Warsaw-Jadwisin, June 17\u201322, 1974, Springer-Verlag, Berlin, 1975, pp. 423\u2013450."},{"key":"58_CR9","first-page":"451","volume-title":"Call-by-value versus call-by-name: a proof theoretic comparison","author":"W. P. Roever de","year":"1975","unstructured":"de Roever, W.P., Call-by-value versus call-by-name: a proof theoretic comparison. ibid., pp. 451\u2013463."},{"key":"58_CR10","first-page":"464","volume-title":"Procedures, formal computations and models","author":"A. Salwicki","year":"1975","unstructured":"Salwicki, A., Procedures, formal computations and models. ibid, p. 464\u2013484."},{"key":"58_CR11","unstructured":"Scott, D. and Strachey, Ch., Toward a mathematical semantics for computer languages. Techn. Monogr. PRG-4, Oxford University, 1970."},{"key":"58_CR12","unstructured":"Winkowski, J., A natural method of proving properties of programs. (to appear in CC PAS Reports)."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1975 4th Symposium, Mari\u00e1nsk\u00e9 L\u00e1zn\u011b, September 1\u20135, 1975"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07389-2_235.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:46:12Z","timestamp":1619556372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_235"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_235","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}