{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T04:12:49Z","timestamp":1781064769146,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T00:00:00Z","timestamp":1319241600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,22]]},"DOI":"10.1145\/2048066.2048098","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"375-390","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Hybrid partial evaluation"],"prefix":"10.1145","author":[{"given":"Amin","family":"Shali","sequence":"first","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"William R.","family":"Cook","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/328690.328693"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"key":"e_1_3_2_1_4_1","first-page":"51","volume-title":"A theoretical approach to polyvariant mixed computation. Partial Evaluation and Mixed Computation (PEMC)","author":"Bulyonkov M.","year":"1988","unstructured":"Bulyonkov , M. : A theoretical approach to polyvariant mixed computation. Partial Evaluation and Mixed Computation (PEMC) pp. 51 -- 64 ( 1988 ) Bulyonkov, M.: A theoretical approach to polyvariant mixed computation. Partial Evaluation and Mixed Computation (PEMC) pp. 51--64 (1988)"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/154630.154638"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/289121.289140"},{"key":"e_1_3_2_1_7_1","first-page":"85","volume-title":"Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM)","author":"Dean J.","year":"1994","unstructured":"Dean , J. , Chambers , C. , Grove , D. : Identifying profitable specialization in object-oriented languages . Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM) pp. 85 -- 96 ( 1994 ) Dean, J., Chambers, C., Grove, D.: Identifying profitable specialization in object-oriented languages. Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM) pp. 85--96 (1994)"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/215465.215554"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"e_1_3_2_1_10_1","first-page":"31","volume-title":"Ostrovski","author":"Ershov A.P.","year":"1987","unstructured":"Ershov , A.P. , Ostrovski , B.N. : Controlled mixed computation and its application to systematic development of language-oriented parsers. In : The IFIP TC2\/WG 2.1 Working Conference on Program specification and transformation. pp. 31 -- 48 . North-Holland Publishing Co. ( 1987 ) Ershov, A.P., Ostrovski, B.N.: Controlled mixed computation and its application to systematic development of language-oriented parsers. In: The IFIP TC2\/WG 2.1 Working Conference on Program specification and transformation. pp. 31--48. North-Holland Publishing Co. (1987)"},{"key":"e_1_3_2_1_11_1","first-page":"45","volume":"2","author":"Futamura Y.","year":"1999","unstructured":"Futamura , Y. : Partial evaluation of computation process - an approach to a compiler-compiler. Systems, Computers , Controls 2 , 45 -- 50 ( 1999 ) Futamura, Y.: Partial evaluation of computation process - an approach to a compiler-compiler. Systems, Computers, Controls 2, 45--50 (1999)","journal-title":"Controls"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.97"},{"key":"e_1_3_2_1_13_1","volume-title":"Sestoft","author":"Jones N.D.","year":"1993","unstructured":"Jones , N.D. , Gomard , C.K. , Sestoft , P. : Partial evaluation and automatic program generation. Prentice-Hall , Inc., Upper Saddle River, NJ, USA ( 1993 ) Jones, N.D., Gomard, C.K., Sestoft, P.: Partial evaluation and automatic program generation. Prentice-Hall, Inc., Upper Saddle River, NJ, USA (1993)"},{"key":"e_1_3_2_1_14_1","volume-title":": Haskell 98 Language and Libraries","author":"Jones S.P.","year":"2003","unstructured":"Jones , S.P. : Haskell 98 Language and Libraries . Cambridge University Press ( 2003 ) Jones, S.P.: Haskell 98 Language and Libraries. Cambridge University Press (2003)"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/182590.182483"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:LISP.0000029448.02877.78"},{"key":"e_1_3_2_1_17_1","volume-title":"Yellin","author":"Lindholm T.","year":"1999","unstructured":"Lindholm , T. , Yellin , F. : Java(TM) Virtual Machine Specification, The (2nd Edition). Prentice Hall PTR , 2 edn. ( April 1999 ) Lindholm, T., Yellin, F.: Java(TM) Virtual Machine Specification, The (2nd Edition). Prentice Hall PTR, 2 edn. (April 1999)"},{"key":"e_1_3_2_1_18_1","unstructured":"L\u00f6h A.: lhs2tex. http:\/\/people.cs.uu.nl\/andres\/lhs2tex\/  L\u00f6h A.: lhs2tex. http:\/\/people.cs.uu.nl\/andres\/lhs2tex\/"},{"key":"e_1_3_2_1_19_1","volume-title":"Steensgaard","author":"Marquard M.","year":"1992","unstructured":"Marquard , M. , Steensgaard , B. : Partial Evaluation of an Object-Oriented Imperative Language. Master's thesis, University of Copenhagen (DIKU) (April 1992 ) Marquard, M., Steensgaard, B.: Partial Evaluation of an Object-Oriented Imperative Language. Master's thesis, University of Copenhagen (DIKU) (April 1992)"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(98)00015-X"},{"key":"e_1_3_2_1_21_1","volume-title":"Finite-state automata and regular expressions for Java","author":"M\u00f8ller A.","year":"2010","unstructured":"M\u00f8ller , A. : Finite-state automata and regular expressions for Java ( 2010 ), \\texttthttp:\/\/www.brics.dk\/automaton\/ M\u00f8ller, A.: Finite-state automata and regular expressions for Java (2010), \\texttthttp:\/\/www.brics.dk\/automaton\/"},{"key":"e_1_3_2_1_22_1","volume-title":"ECOOP 2001, Workshop on Metamodeling and Adaptive Object Models (2001)","author":"Poole J.D.","unstructured":"Poole , J.D. : Model-driven architecture: Vision, standards and emerging technologies . In: ECOOP 2001, Workshop on Metamodeling and Adaptive Object Models (2001) Poole, J.D.: Model-driven architecture: Vision, standards and emerging technologies. In: ECOOP 2001, Workshop on Metamodeling and Adaptive Object Models (2001)"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/778559.778561"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/645774.668112"},{"key":"e_1_3_2_1_27_1","volume-title":"Dussart","author":"Thiemann P.","year":"1996","unstructured":"Thiemann , P. , Dussart , D. : Partial evaluation for higher-order languages with state ( 1996 ), unpublished manuscript Thiemann, P., Dussart, D.: Partial evaluation for higher-order languages with state (1996), unpublished manuscript"},{"key":"e_1_3_2_1_28_1","first-page":"24","volume-title":"Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text.","author":"Wadler P.","year":"1995","unstructured":"Wadler , P. : Monads for functional programming . In: Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text. pp. 24 -- 52 . Springer-Verlag, London , UK ( 1995 ) Wadler, P.: Monads for functional programming. In: Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text. pp. 24--52. Springer-Verlag, London, UK (1995)"}],"event":{"name":"SPLASH '11: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Portland Oregon USA","acronym":"SPLASH '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048098","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2048066.2048098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:31Z","timestamp":1750225711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":25,"alternative-id":["10.1145\/2048066.2048098","10.1145\/2048066"],"URL":"https:\/\/doi.org\/10.1145\/2048066.2048098","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2076021.2048098","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,22]]},"assertion":[{"value":"2011-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}