{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:15:19Z","timestamp":1725567319881},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657170"},{"type":"electronic","value":"9783540490517"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-49051-7_14","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T07:36:53Z","timestamp":1286955413000},"page":"198-213","source":"Crossref","is-referenced-by-count":11,"title":["Compilation and Memory Management for ASF+SDF"],"prefix":"10.1007","author":[{"given":"Mark","family":"van den Brand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Klint","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter","family":"Olivier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Anatomy of LISP","author":"J.R. Allen","year":"1978","unstructured":"Allen, J.R.: Anatomy of LISP. McGraw-Hill, New York (1978)"},{"key":"14_CR2","unstructured":"Appel, A.W., Goncalves, M.J.R.: Hash-consing garbage collection. Technical Report CS-TR-412-93, Princeton University (1993)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/3-540-18317-5_17","volume-title":"Functional Programming Languages and Computer Architecture","author":"A.W. Appel","year":"1987","unstructured":"Appel, A.W., MacQueen, D.: A standard ML compiler. In: Kahn, G. (ed.) FPCA 1987. LNCS, vol.\u00a0274, pp. 301\u2013324. Springer, Heidelberg (1987)"},{"key":"14_CR4","first-page":"6","volume-title":"ICSE-17 Workshop on Formal Methods Application in Software Engineering","author":"B.R.T. Arnold","year":"1995","unstructured":"Arnold, B.R.T., van Deursen, A., Res, M.: An algebraic specification of a language for describing financial products. In: Wirsing, M. (ed.) ICSE-17 Workshop on Formal Methods Application in Software Engineering, pp. 6\u201313. IEEE, Los Alamitos (1995)"},{"key":"14_CR5","unstructured":"Bergstra, J.A., Heering, J., Klint, P. (eds.): Algebraic Specification. ACM Press\/Addison-Wesley (1989)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Boehm, H.: Space efficient conservative garbage collection. In: Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation, SIGPLAN Notices, June 1993, vol. 28, pp. 197\u2013206 (1993)","DOI":"10.1145\/155090.155109"},{"issue":"9","key":"14_CR7","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1002\/spe.4380180902","volume":"18","author":"H. Boehm","year":"1988","unstructured":"Boehm, H., Weiser, M.: Garbage collection in an uncooperative environment. Software - Practice and Experience (SPE)\u00a018(9), 807\u2013820 (1988)","journal-title":"Software - Practice and Experience (SPE)"},{"key":"14_CR8","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of the First International Workshop on Rewriting Logic","author":"P. Borovansk\u00fd","year":"1996","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Vittek, M.: ELAN: A logical framework based on computational systems. In: Meseguer, J. (ed.) Proceedings of the First International Workshop on Rewriting Logic. Electronic Notes in Theoretical Computer Science, vol.\u00a04. Elsevier Science, Amsterdam (1996)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014303","volume-title":"Algebraic Methodology and Software Technology","author":"M.G.J. Brand van den","year":"1996","unstructured":"van den Brand, M.G.J., van Deursen, A., Klint, P., Klusener, S., van der Meulen, A.E.: Industrial applications of ASF+SDF. In: Wirsing, M., Nivat, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101. Springer, Heidelberg (1996)"},{"key":"14_CR10","unstructured":"van den Brand, M.G.J., Heering, J., Klint, P., Olivier, P.A.: Compiling rewrite systems: The asf+sdf compiler. Technical report, Centrum voor Wiskunde en Informatica (CWI) (1999) (in preparation)"},{"key":"14_CR11","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"139","volume-title":"Proceedings of the First International Workshop on Rewriting Logic and its Applications","author":"M.G.J. Brand van den","year":"1998","unstructured":"van den Brand, M.G.J., Klint, P., Verhoef, C.: Term rewriting for sale. In: Kirchner, C., Kirchner, H. (eds.) Proceedings of the First International Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, vol.\u00a015, pp. 139\u2013161. Elsevier Science, Amsterdam (1998)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"van den Brand, M.G.J., Sellink, M.P.A., Verhoef, C.: Generation of components for software renovation factories from context-free grammars. In: Baxter, I.D., Quilici, A., Verhoef, C. (eds.) Proceedings of the Fourth Working Conference on Reverse Engineering, pp. 144\u2013153 (1997)","DOI":"10.1109\/WCRE.1997.624585"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/226155.226156","volume":"5","author":"M.G.J. Brand van den","year":"1996","unstructured":"van den Brand, M.G.J., Visser, E.: Generation of formatters for context-free languages. ACM Transactions on Software Engineering and Methodology\u00a05, 1\u201341 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/3-540-62718-9_8","volume-title":"Logic Program Synthesis and Transformation","author":"J.J. Brunekreef","year":"1997","unstructured":"Brunekreef, J.J.: A transformation tool for pure Prolog programs. In: Gallagher, J.P. (ed.) LOPSTR 1996. LNCS, vol.\u00a01207, pp. 130\u2013145. Springer, Heidelberg (1997)"},{"key":"14_CR15","series-title":"AMAST Series in Computing","volume-title":"Language Prototyping: An Algebraic Specification Approach","year":"1996","unstructured":"van Deursen, A., Heering, J., Klint, P. (eds.): Language Prototyping: An Algebraic Specification Approach. AMAST Series in Computing, vol.\u00a05. World Scientific, Singapore (1996)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/3-540-57840-4_34","volume-title":"Programming Languages and System Architectures","author":"K. Didrich","year":"1994","unstructured":"Didrich, K., Fett, A., Gerke, C., Grieskamp, W., Pepper, P.: OPAL: Design and implementation of an algebraic programming language. In: Gutknecht, J. (ed.) Programming Languages and System Architectures. LNCS, vol.\u00a0782, pp. 228\u2013244. Springer, Heidelberg (1994)"},{"key":"14_CR17","unstructured":"Dik, C.H.S.: A fast implementation of the Algebraic Specification Formalism. Master\u2019s thesis, University of Amsterdam, Programming Research Group (1989)"},{"key":"14_CR18","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1017\/S0956796800001891","volume":"6","author":"P.H. Hartel","year":"1996","unstructured":"Hartel, P.H., et al.: Benchmarking implementations of functional languages with \u2019pseudoknot\u2019, a float-intensive benchmark. Journal of Functional Programming\u00a06, 621\u2013655 (1996)","journal-title":"Journal of Functional Programming"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Heering, J., Hendriks, P.R.H., Klint, P., Rekers, J.: The syntax definition formalism DF \u2014 Reference manual. In: SIGPLAN Notices, vol.\u00a024(11), pp. 43\u201375 (1989), Most recent version available at http:\/\/www.cwi.nl\/~gipe\/","DOI":"10.1145\/71605.71607"},{"key":"14_CR20","volume-title":"Garbage Collection: Algorithms for Automatic Dynamic Memory Management.","author":"R. Jones","year":"1996","unstructured":"Jones, R., Lins, R.: Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Wiley, Chichester (1996)"},{"key":"14_CR21","unstructured":"Peyton Jones, S.L., Hall, C.V., Hammond, K., Partain, W.D., Wadler, P.L.: The lasgow haskell compiler: a technical overview. In: Proc. Joint Framework for Information Technology (JFIT) Technical Conference, pp. 249\u2013257 (1993)"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Rewriting Techniques and Applications","author":"S. Kaplan","year":"1987","unstructured":"Kaplan, S.: A compiler for conditional term rewriting systems. In: Lescanne, P. (ed.) RTA 1987. LNCS, vol.\u00a0256. Springer, Heidelberg (1987)"},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1145\/151257.151260","volume":"2","author":"P. Klint","year":"1993","unstructured":"Klint, P.: A meta-environment for generating programming environments. ACM transactions on Software Engineering and Methodology\u00a02, 176\u2013201 (1993)","journal-title":"ACM transactions on Software Engineering and Methodology"},{"key":"14_CR24","unstructured":"Plasmeijer, M.J., van Eekelen, M.C.J.D.: Concurrent Clean - version 1.0 - Language Reference Manual, draft version. Department of Computer Science, University of Nijmegen, Nijmegen, The Netherlands (1994)"},{"issue":"3","key":"14_CR25","first-page":"265","volume":"13","author":"M. Terashima","year":"1990","unstructured":"Terashima, M., Kanada, Y.: HLisp\u2014its concept, implementation and applications. Journal of Information Processing\u00a013(3), 265\u2013275 (1990)","journal-title":"Journal of Information Processing"},{"key":"14_CR26","unstructured":"Visser, E.: Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam (1997)"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science \u00a073(2), 231\u2013248 (1990)","DOI":"10.1016\/0304-3975(90)90147-A"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49051-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T08:12:09Z","timestamp":1559722329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49051-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657170","9783540490517"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49051-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}