{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:42:06Z","timestamp":1742924526260,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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\/bfb0014673","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:25:49Z","timestamp":1132723549000},"page":"290-321","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Special transformation techniques"],"prefix":"10.1007","author":[{"given":"H.","family":"W\u00f6ssner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Pepper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Partsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. L.","family":"Bauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1145\/359340.359344","volume":"21","author":"M.A. Auslander","year":"1978","unstructured":"M.A. Auslander, H.R. Strong: Systematic Recursion Removal. Comm. ACM 21, 127\u2013134 (1978)","journal-title":"Comm. ACM"},{"issue":"12","key":"24_CR2","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/954587.954588","volume":"13","author":"F.L. Bauer","year":"1978","unstructured":"F.L. Bauer, M. Broy, W. Hesse, B. Krieg-Br\u00fcckner, H. Partsch, P. Pepper, H. W\u00f6ssner: Towards a Wide Spectrum Language to Support Program Specification and Program Development. SIG-PLAN Notices 13 (12), 15\u201324 (1978). Also this volume","journal-title":"SIG-PLAN Notices"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"F.L. Bauer, M. Broy, H. Partsch, P. Pepper, H. W\u00f6ssner: Systematics of Transformation Rules. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Interner Bericht, Dec. 1978. Also this volume","DOI":"10.1007\/BFb0014672"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1145\/359605.359630","volume":"20","author":"R.S. Bird","year":"1977","unstructured":"R.S. Bird: Notes on Recursion Elimination. Comm. ACM 20, 434\u2013439 (1977)","journal-title":"Comm. ACM"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1093\/comjnl\/9.1.45","volume":"9","author":"D.C. Cooper","year":"1966","unstructured":"D.C. Cooper: The Equivalence of Certain Computations. Comp. J. 9, 45\u201352 (1966)","journal-title":"Comp. J."},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00263742","volume":"6","author":"J. Darlington","year":"1976","unstructured":"J. Darlington, R.M. Burstall: A System which Automatically Improves Programs. Acta Informatica 6, 41\u201360 (1976)","journal-title":"Acta Informatica"},{"key":"24_CR7","unstructured":"E.W. Dijkstra: A Simple Axiomatic Basis for Programming Language Constructs. Report EWD 372, Technological University Eindhoven, 1973. Also Marktoberdorf Summer School 1973"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/356635.356640","volume":"6","author":"D.E. Knuth","year":"1974","unstructured":"D.E. Knuth: Structured Programming with goto Statements. Comp. Surveys 6, 261\u2013301 (1974)","journal-title":"Comp. Surveys"},{"key":"24_CR9","unstructured":"J.H. Morris: Lambda-calculus models of programming. Ph. D. Thesis, Project MAC, MIT, MAC-TR-57, Dec. 1968"},{"key":"24_CR10","unstructured":"H. Partsch, M. Broy: Examples for Change of Types and Object Structures. This volume"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/0020-0190(76)90015-6","volume":"5","author":"H. Partsch","year":"1976","unstructured":"H. Partsch, P. Pepper: A Family of Rules for Recursion Removal Related to the Towers of Hanoi Problem. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Rep. No. 7612, 1976. Also Inf. Proc. Letters 5, 174\u2013177 (1976)","journal-title":"Also Inf. Proc. Letters"},{"key":"24_CR12","first-page":"119","volume-title":"Record of the Project MAC Conf. on Concurrent Systems and Parallel Computation","author":"M.S. Paterson","year":"1970","unstructured":"M.S. Paterson, C.E. Hewitt: Comparative Schematology. In: Record of the Project MAC Conf. on Concurrent Systems and Parallel Computation, New York: ACM 1970, 119\u2013127"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"P. Pepper: A Study on Transformational Semantics. Dissertation, Munich 1978. Also this volume","DOI":"10.1007\/BFb0014674"},{"key":"24_CR14","volume-title":"Program Transformations","author":"P. Pepper","year":"1978","unstructured":"P. Pepper, H. Partsch, H. W\u00f6ssner, F.L. Bauer: A Transformational Approach to Programming. In: B. Robinet (ed.): Program Transformations. Proc. of the 3rd International Symposium on Programming, March 28\u201330, 1978, Paris: Dunod 1978"},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"N. Wirth: The Programming Language Pascal. Acta Informatica 1, 35\u201363 (1971)","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T15:30:52Z","timestamp":1683300652000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0014673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540092513","9783540353126"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0014673","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"}}]}}