{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:40Z","timestamp":1725663400719},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190271"},{"type":"electronic","value":"9783540389415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19027-9_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:56:06Z","timestamp":1330199766000},"page":"175-190","source":"Crossref","is-referenced-by-count":10,"title":["A functional language for the specification of complex tree transformations"],"prefix":"10.1007","author":[{"given":"Reinhold","family":"Heckmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356631.356632","volume":"6","author":"D. G. Bobrow","year":"1974","unstructured":"Bobrow, D. G., Raphael, B.: New Programming Languages for Artificial Intelligence Research, ACM Comp. Sur. 6, 153\u2013174, (1974)","journal-title":"ACM Comp. Sur."},{"key":"12_CR2","volume-title":"HOPE: An Experimental Applicative Language, Report CSR-62-80","author":"R. Burstall","year":"1980","unstructured":"Burstall, R., MacQueen, D., Sannella, D.: HOPE: An Experimental Applicative Language, Report CSR-62-80, Computer Science Dept., Edinburgh, (1980)"},{"key":"12_CR3","unstructured":"CIP Language Group: The Munich Project CIP. Volume I: The wide spectrum language CIP-L, Springer, LNCS 183, 1985)"},{"key":"12_CR4","unstructured":"Clocksin, F. W., Mellish, C. S.: Programming in Prolog, Springer (1981)"},{"key":"12_CR5","unstructured":"Gersdorf, B.: A Functional Language for Term Manipulation, PROSPECTRA M.3.1.S1-SN-2.0, (1987)"},{"key":"12_CR6","unstructured":"Heckmann, R.: A Proposal for the Syntactic Part of the PROSPECTRA Transformation Language, PROSPECTRA S.1.6-SN-6.0, (1987)"},{"key":"12_CR7","unstructured":"Heckmann, R.: Semantics of Patterns, PROSPECTRA S.1.6-SN-8.0, (1987)"},{"key":"12_CR8","unstructured":"Heckmann, R.: Syntax and Semantics of TrafoLa, PROSPECTRA S.1.6-SN-10.0, (1987)"},{"key":"12_CR9","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF00264598","volume":"11","author":"G. Huet","year":"1978","unstructured":"Huet, G., Lang., B.: Proving and Applying Program Transformations Expressed with Second Order Patterns, Acta Inf. 11, 31\u201355, (1978)","journal-title":"Acta Inf."},{"key":"12_CR10","unstructured":"Krieg-Br\u00fcckner, B.: Informal Specification of the PROSPECTRA System, PROSPECTRA M.1.1.S1-R-9.1, (1986)"},{"key":"12_CR11","unstructured":"Krieg-Br\u00fcckner, B.: Systematic Transformation of Interface Specifications, in: Partsch, H. (ed.): Program Specification and Transformation, Proc. IFIP TC2 Working Conf. (T\u00f6lz '86), North Holland, (1987)"},{"key":"12_CR12","unstructured":"Krieg-Br\u00fcckner, B.: Algebraic Formalisation of Program Development by Transformation, Springer, this volume, (1988)"},{"key":"12_CR13","unstructured":"Milner, R.: The Standard ML Core Language, In: Polymorphism, Vol. II, Number 2, (Oct. 1985)"},{"key":"12_CR14","unstructured":"Turner, D. A.: Miranda: a non-strict Functional Language with Polymorphic Types, Springer, LNCS 201, (1985)"}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:19:04Z","timestamp":1619558344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}