{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:42:21Z","timestamp":1725453741803},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642305634"},{"type":"electronic","value":"9783642305641"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30564-1_7","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T11:29:12Z","timestamp":1337945352000},"page":"97-113","source":"Crossref","is-referenced-by-count":0,"title":["Constructing Customized Interpreters from Reusable Evaluators Using Game"],"prefix":"10.1007","author":[{"given":"Stijn","family":"Timbermont","sequence":"first","affiliation":[]},{"given":"Coen","family":"De Roover","sequence":"additional","affiliation":[]},{"given":"Theo","family":"D\u2019Hondt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Structure and Interpretation of Computer Programs","author":"H. Abelson","year":"1996","unstructured":"Abelson, H., Sussman, G.J., Sussman, J.: Structure and Interpretation of Computer Programs, 2nd edn. MIT Press\/McGraw-Hill, Cambridge (1996)","edition":"2"},{"key":"7_CR2","first-page":"8","volume-title":"Proc. of the 5th ACM SIGPLAN Intl. Conf. on Principles and Practice of Declaritive Programming, PPDP 2003","author":"M.S. Ager","year":"2003","unstructured":"Ager, M.S., Biernacki, D., Danvy, O., Midtgaard, J.: A functional correspondence between evaluators and abstract machines. In: Proc. of the 5th ACM SIGPLAN Intl. Conf. on Principles and Practice of Declaritive Programming, PPDP 2003, pp. 8\u201319. ACM, New York (2003)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010016816429","volume":"12","author":"W.D. Clinger","year":"1999","unstructured":"Clinger, W.D., Hartheimer, A.H., Ost, E.M.: Implementation strategies for first-class continuations. Higher Order Symbol. Comput.\u00a012, 7\u201345 (1999)","journal-title":"Higher Order Symbol. Comput."},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/1411204.1411206","volume-title":"Proc. of the 13th ACM SIGPLAN Intl. Conf. on Functional Programming, ICFP 2008","author":"O. Danvy","year":"2008","unstructured":"Danvy, O.: Defunctionalized interpreters for programming languages. In: Proc. of the 13th ACM SIGPLAN Intl. Conf. on Functional Programming, ICFP 2008, pp. 131\u2013142. ACM, New York (2008)"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1016\/S0167-739X(99)00088-6","volume":"16","author":"S. Diehl","year":"2000","unstructured":"Diehl, S., Sestoft, P.: Abstract machines for programming language implementation. Future Gener. Comput. Syst.\u00a016, 739\u2013751 (2000)","journal-title":"Future Gener. Comput. Syst."},{"key":"7_CR6","first-page":"1","volume":"5","author":"M. Anton Ertl","year":"2003","unstructured":"Anton Ertl, M., Gregg, D.: The structure and performance of efficient interpreters. Journal of Instruction-Level Parallelism\u00a05, 1\u201325 (2003)","journal-title":"Journal of Instruction-Level Parallelism"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/317636.317779","volume-title":"Proc. of the Fourth ACM SIGPLAN Intl. Conf. on Functional Programming, ICFP 1999","author":"S.E. Ganz","year":"1999","unstructured":"Ganz, S.E., Friedman, D.P., Wand, M.: Trampolined style. In: Proc. of the Fourth ACM SIGPLAN Intl. Conf. on Functional Programming, ICFP 1999, pp. 18\u201327. ACM, New York (1999)"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1109\/ASE.2001.989807","volume-title":"Proc. of the 16th IEEE Intl. Conf. on Automated Software Engineering, ASE 2001","author":"P. Graunke","year":"2001","unstructured":"Graunke, P., Findler, R.B., Krishnamurthi, S., Felleisen, M.: Automatically restructuring programs for the web. In: Proc. of the 16th IEEE Intl. Conf. on Automated Software Engineering, ASE 2001, p. 211. IEEE Computer Society, Washington, DC (2001)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1145\/91556.91603","volume-title":"Proc. of the 1990 ACM Conf. on LISP and Functional Programming, LFP 1990","author":"C. Hanson","year":"1990","unstructured":"Hanson, C.: Efficient stack allocation for tail-recursive languages. In: Proc. of the 1990 ACM Conf. on LISP and Functional Programming, LFP 1990, pp. 106\u2013118. ACM, New York (1990)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/1869459.1869491","volume-title":"Proc. of the ACM Intl. Conf. on Object Oriented Programming Systems Languages and Applications, OOPSLA 2010","author":"C. Herzeel","year":"2010","unstructured":"Herzeel, C., Costanza, P.: Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator. In: Proc. of the ACM Intl. Conf. on Object Oriented Programming Systems Languages and Applications, OOPSLA 2010, pp. 377\u2013396. ACM, New York (2010)"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/199448.199528","volume-title":"Proc. of the 22nd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 1995","author":"S. Liang","year":"1995","unstructured":"Liang, S., Hudak, P., Jones, M.: Monad transformers and modular interpreters. In: Proc. of the 22nd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 1995, pp. 333\u2013343. ACM, New York (1995)"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S1571-0661(04)80969-1","volume":"45","author":"L.R. Nielsen","year":"2001","unstructured":"Nielsen, L.R.: A selective cps transformation. Electr. Notes Theor. Comput. Sci.\u00a045, 311\u2013331 (2001)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/800194.805852","volume-title":"Proc. of the ACM Annual Conf., ACM 1972","author":"J.C. Reynolds","year":"1972","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. In: Proc. of the ACM Annual Conf., ACM 1972, vol.\u00a02, pp. 717\u2013740. ACM, New York (1972)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"944","DOI":"10.1145\/1176617.1176753","volume-title":"Companion to the 21st ACM SIGPLAN Symp. on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2006","author":"A. Rigo","year":"2006","unstructured":"Rigo, A., Pedroni, S.: Pypy\u2019s approach to virtual machine construction. In: Companion to the 21st ACM SIGPLAN Symp. on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2006, pp. 944\u2013953. ACM, New York (2006)"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/1596550.1596596","volume-title":"Proc. of the 14th ACM SIGPLAN Intl. Conf. on Functional Programming, ICFP 2009","author":"T. Rompf","year":"2009","unstructured":"Rompf, T., Maier, I., Odersky, M.: Implementing first-class polymorphic delimited continuations by a type-directed selective cps-transform. In: Proc. of the 14th ACM SIGPLAN Intl. Conf. on Functional Programming, ICFP 2009, pp. 317\u2013328. ACM, New York (2009)"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1411204.1411215","volume-title":"Proc. of the 13th ACM SIGPLAN Intl. Conf. on Functional Programming, ICFP 2008","author":"T. Schrijvers","year":"2008","unstructured":"Schrijvers, T., Peyton Jones, S., Chakravarty, M., Sulzmann, M.: Type checking with open type functions. In: Proc. of the 13th ACM SIGPLAN Intl. Conf. on Functional Programming, ICFP 2008, pp. 51\u201362. ACM, New York (2008)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-642-02655-3_12","volume-title":"Software Composition","author":"M. Snyder","year":"2009","unstructured":"Snyder, M., Frisby, N., Kimmell, G., Alexander, P.: Writing Composable Software with InterpreterLib. In: Bergel, A., Fabry, J. (eds.) SC 2009. LNCS, vol.\u00a05634, pp. 160\u2013176. Springer, Heidelberg (2009)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1006\/inco.1994.1046","volume":"111","author":"J.-P. Talpin","year":"1994","unstructured":"Talpin, J.-P., Jouvelot, P.: The type and effect discipline. Inf. Comput.\u00a0111, 245\u2013296 (1994)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30564-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:54:34Z","timestamp":1558299274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30564-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642305634","9783642305641"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30564-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}