{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:04:38Z","timestamp":1743109478013,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540092513"},{"type":"electronic","value":"9783540353126"}],"license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/bfb0014675","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:25:49Z","timestamp":1132723549000},"page":"406-420","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Detailization and lazy evaluation, infinite objects and pointer representation"],"prefix":"10.1007","author":[{"given":"F. L.","family":"Bauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J.: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Comm. ACM 21, 613\u2013641 (1978)","journal-title":"Comm. ACM"},{"key":"26_CR2","unstructured":"Bauer, F.L.: Vorlesungsskriptum Algorithmische Sprachen, Kap.4. Institut f\u00fcr Informatik der Technischen Universit\u00e4t M\u00fcnchen, Februar 1978"},{"key":"26_CR3","unstructured":"Bauer, F.L., Partsch, H., Pepper, P., W\u00f6ssner, H.: Techniques for program development. In: Software Engineering Techniques. Infotech State of the Art Report 34. Maidenhead: Infotech International 1977, p. 25\u201330"},{"key":"26_CR4","unstructured":"Berkling, K.J.: Reduction languages for reduction machines. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung mbH Bonn, Interner Bericht ISF-76-8, Sept. 1976"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1093\/comjnl\/9.1.45","volume":"9","author":"D.C. Cooper","year":"1966","unstructured":"Cooper, D.C.: The equivalence of certain computations. Computer Journal 9, 45\u201352 (1966)","journal-title":"Computer Journal"},{"key":"26_CR6","first-page":"257","volume-title":"Automata, Languages and Programming","author":"D.P. Friedman","year":"1976","unstructured":"Friedman, D.P., Wise, D.S.: CONS should not evaluate its arguments. In: Michaelson, S., Milner, R. (eds.): Automata, Languages and Programming. Edinburgh: University Press 1976, p. 257\u2013284"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Friedman, D.P., Wise, D.S.: Unbounded computational structures. Softw. Pract. Exper. 8, 407\u2013416","DOI":"10.1002\/spe.4380080404"},{"key":"26_CR8","first-page":"80","volume-title":"Collected Works, Volume V","author":"H.H. Goldstine","year":"1963","unstructured":"Goldstine, H.H., Neumann, J. von: Planning and coding problems for an electronic computing instrument, Part II, Volume 1. In: Neumann, J. von: Collected Works, Volume V. Oxford-London-New York-Paris: Pergamon Press 1963, p. 80\u2013152"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1093\/comjnl\/18.1.23","volume":"18","author":"R. Haskell","year":"1975","unstructured":"Haskell, R.: Efficient implementation of a class of recursively defined functions. Computer Journal 18, 23\u201329 (1975)","journal-title":"Computer Journal"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Henderson, P., Morris, J.H. jr.: A lazy evaluator. Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Jan. 1976, p. 95\u2013103","DOI":"10.1145\/800168.811543"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/356635.356640","volume":"6","author":"D. Knuth","year":"1974","unstructured":"Knuth, D.: Structured programming with go to statements. Computing Surveys 6, 261\u2013301 (1974)","journal-title":"Computing Surveys"},{"key":"26_CR12","unstructured":"Krieg-Br\u00fcckner, B.: Concrete and abstract specification, modularization and program development by transformation. Dissertation, Institut f\u00fcr Informatik der Technischen Universit\u00e4t M\u00fcnchen. TUM-INFO-7805, Jan. 1978"},{"key":"26_CR13","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/363744.363749","volume":"8","author":"P.J. Landin","year":"1965","unstructured":"Landin, P.J.: A correspondence between ALGOL 60 and Church's lambda notation. Part I: Comm. ACM 8, 89\u2013158, Part II: Comm. ACM 8, 158\u2013165 (1965)","journal-title":"Comm. ACM"},{"key":"26_CR14","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P.J. Landin","year":"1966","unstructured":"Landin, P.J.: The next 700 programming languages. Comm. ACM 9, 157\u2013166 (1966)","journal-title":"Comm. ACM"},{"key":"26_CR15","unstructured":"Laut, A.: Unterdr\u00fcckung konstanter Parameter. Institut f\u00fcr Informatik der Technischen Universit\u00e4t M\u00fcnchen, Interner Bericht, April 1978"},{"key":"26_CR16","unstructured":"Mag\u00f3, G.A.: A network of microprocessors to execute reduction languages. International Journal of Computer and Information Science (to appear)"},{"key":"26_CR17","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott, D.: Data Types as Lattices. SIAM Journal on Computing 5, 522\u2013587 (1976)","journal-title":"SIAM Journal on Computing"},{"key":"26_CR18","volume-title":"Algorithms + Data Structures = Programs","author":"N. Wirth","year":"1976","unstructured":"Wirth, N.: Algorithms + Data Structures = Programs. Englewood Cliffs (N.Y.): Prentice-Hall 1976"}],"container-title":["Lecture Notes in Computer Science","Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T05:04:05Z","timestamp":1660885445000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0014675"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540092513","9783540353126"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0014675","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}