{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:26Z","timestamp":1725662906952},"publisher-location":"Berlin, Heidelberg","reference-count":8,"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_223","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:55:33Z","timestamp":1330185333000},"page":"377-398","source":"Crossref","is-referenced-by-count":3,"title":["First-order reduction of call-by-name to call-by-value"],"prefix":"10.1007","author":[{"given":"Willem P.","family":"Roever","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"Cadiou, J.M., Recursive definitions of partial functions and their computations, Ph.D. Thesis, Computer Science Department, Stanford University (1973).","DOI":"10.1145\/800235.807072"},{"key":"46_CR2","unstructured":"Hitchcock, P. & D. Park, Induction rules and proofs of termination, in: Proc. IRIA Symposium on Automata, Formal Languages and Programming, M. Nivat (ed.), North-Holland (1972)."},{"key":"46_CR3","volume-title":"Proc. of an ACM Conference on Proving Assertions about Programs","author":"Z. Manna","year":"1972","unstructured":"Manna, Z. & J. M. Cadiou, Recursive definitions of partial functions and their computations, in: Proc. of an ACM Conference on Proving Assertions about Programs, Las Cruces, New Mexico (1972)."},{"key":"46_CR4","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/321592.321606","volume":"17","author":"Z. Manna","year":"1970","unstructured":"Manna, Z. & A. Pnueli, Formalization of properties of functional programs, J. ACM, 17 (1970) 555\u2013569.","journal-title":"J. ACM"},{"key":"46_CR5","first-page":"59","volume-title":"Machine Intelligence, Vol. 5","author":"D. Park","year":"1970","unstructured":"Park, D. Fixpoint induction and proofs of program semantics, in: Machine Intelligence, Vol. 5, pp. 59\u201370. B. Meltzer and D. Michie. (eds.), Edinburgh University Press, Edinburgh (1970)."},{"key":"46_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"W. P. Roever de","year":"1974","unstructured":"de Roever, W.P., Recursion and parameter mechanisms: an axiomatic approach, in: Automata, Languages and Programming, 2nd Colloquium, University of Saarbrucken, edited by J. Loeckx, Lecture Notes in Computer Science no.14, Springer Verlag, Berlin, etc. (1974)."},{"key":"46_CR7","volume-title":"Jadwisin, Lecture Notes in Computer Science","author":"W. P. Roever de","year":"1975","unstructured":"de Roever, W.P., Call-by-value versus call-by-name: a proof-theoretic comparison, in Proc. of the Third Symposium and Summer School on \"Mathematical Foundations of Computer Science\", Jadwisin, Lecture Notes in Computer Science, Springer Verlag, Berlin, etc. (1975)."},{"key":"46_CR8","volume-title":"Recursive program schemes: semantics and proof theory","author":"W. P. Roever de","year":"1975","unstructured":"de Roever, W.P., Recursive program schemes: semantics and proof theory, dissertation, Math. Centrum, Amsterdam, (1975)."}],"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_223.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T00:38:59Z","timestamp":1640911139000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_223"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_223","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}