{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:57Z","timestamp":1772164077748,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T00:00:00Z","timestamp":1445817600000},"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":[[2015,10,26]]},"DOI":"10.1145\/2814204.2814208","type":"proceedings-article","created":{"date-parts":[[2015,12,4]],"date-time":"2015-12-04T09:48:03Z","timestamp":1449222483000},"page":"11-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Shallow embedding of DSLs via online partial evaluation"],"prefix":"10.1145","author":[{"given":"Roland","family":"Lei\u00dfa","sequence":"first","affiliation":[{"name":"Saarland University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaas","family":"Boesche","sequence":"additional","affiliation":[{"name":"Saarland University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Hack","sequence":"additional","affiliation":[{"name":"Saarland University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Membarth","sequence":"additional","affiliation":[{"name":"German Research Center for Artificial Intelligence, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Slusallek","sequence":"additional","affiliation":[{"name":"German Research Center for Artificial Intelligence, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,26]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646450.692780"},{"key":"e_1_3_2_1_3_1","volume-title":"JFP","author":"Bondorf A.","year":"1993","unstructured":"A. Bondorf and J. J\u00f8rgensen . E fficient analyses for realistic off-line partial evaluation . JFP , 1993 . A. Bondorf and J. J\u00f8rgensen. E fficient analyses for realistic off-line partial evaluation. JFP, 1993."},{"key":"e_1_3_2_1_4_1","volume-title":"SIAM","author":"Briggs W. L.","year":"2000","unstructured":"W. L. Briggs , H. Van Emden , and S. F. McCormick . A Multigrid Tutorial, volume 2 . SIAM , June 2000 . W. L. Briggs, H. Van Emden, and S. F. McCormick. A Multigrid Tutorial, volume 2. SIAM, June 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.15"},{"key":"e_1_3_2_1_6_1","volume-title":"APLAS","author":"Carette J.","year":"2007","unstructured":"J. Carette , O. Kiselyov , and C.-C. Shan . Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages . In APLAS , 2007 . J. Carette, O. Kiselyov, and C.-C. Shan. Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. In APLAS, 2007."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869527"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/154630.154645"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.66.8"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25935-0_4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2658761.2658774"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063384.2063396"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462166"},{"key":"e_1_3_2_1_14_1","volume-title":"Systems","author":"Futamura Y.","year":"1999","unstructured":"Y. Futamura . Partial evaluation of computation process\u2014an approach to a compiler-compiler . Systems , Computers, Controls , 1999 . Reproduction of the 1971 paper. Y. Futamura. Partial evaluation of computation process\u2014an approach to a compiler-compiler. Systems, Computers, Controls, 1999. Reproduction of the 1971 paper."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628138"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1086"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449935"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91677"},{"key":"e_1_3_2_1_19_1","volume-title":"Software Reuse","author":"Hudak P.","year":"1998","unstructured":"P. Hudak . Modular domain specific languages and tools . In Software Reuse , 1998 . P. Hudak. Modular domain specific languages and tools. In Software Reuse, 1998."},{"key":"e_1_3_2_1_20_1","volume-title":"FPCA","author":"Johnsson T.","year":"1985","unstructured":"T. Johnsson . Lambda lifting : Transforming programs to recursive equations . In FPCA , 1985 . T. Johnsson. Lambda lifting: Transforming programs to recursive equations. In FPCA, 1985."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/215465.215468"},{"key":"e_1_3_2_1_22_1","volume-title":"GPCE","author":"Jones N. D.","year":"2002","unstructured":"N. D. Jones and A. J. Glenstrup . Program generation, termination, and bindingtime analysis . In GPCE , 2002 . N. D. Jones and A. J. Glenstrup. Program generation, termination, and bindingtime analysis. In GPCE, 2002."},{"key":"e_1_3_2_1_23_1","volume-title":"MFPS","author":"Jones N. D.","year":"1987","unstructured":"N. D. Jones , P. Sestoft , and H. S\u00f8ndergaard . Mix: A self-applicable partial evaluator for experiments in compiler generation (extended abstract) . In MFPS , 1987 . N. D. Jones, P. Sestoft, and H. S\u00f8ndergaard. Mix: A self-applicable partial evaluator for experiments in compiler generation (extended abstract). In MFPS, 1987."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/153676"},{"key":"e_1_3_2_1_25_1","volume-title":"Partial Evaluation","author":"J\u00f8rgensen J.","year":"1998","unstructured":"J. J\u00f8rgensen . Similix : a self-applicable partial evaluator for Scheme . In Partial Evaluation , 1998 . J. J\u00f8rgensen. Similix: a self-applicable partial evaluator for Scheme. In Partial Evaluation, 1998."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512652"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2658761.2658771"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2190025.2190061"},{"key":"e_1_3_2_1_29_1","volume-title":"PEPM","author":"Katz M.","year":"1992","unstructured":"M. Katz and D. Weise . Towards a new perspective on partial evaluation . In PEPM , 1992 . M. Katz and D. Weise. Towards a new perspective on partial evaluation. In PEPM, 1992."},{"key":"e_1_3_2_1_30_1","first-page":"1","author":"Specification SYCL TM","year":"2015","unstructured":"SYCL TM Specification . Khronos , 2015 . Version 1 .2. SYCL TM Specification. Khronos, 2015. Version 1.2.","journal-title":"Khronos"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732951.2732959"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2015.7054200"},{"key":"e_1_3_2_1_33_1","volume-title":"CGO","author":"McCool M.","year":"2011","unstructured":"M. McCool . A retargetable, dynamic compiler and embedded language . In CGO , 2011 . M. McCool. A retargetable, dynamic compiler and embedded language. In CGO, 2011."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2014.08.008"},{"key":"e_1_3_2_1_35_1","volume-title":"TPDS","author":"Membarth R.","year":"2015","unstructured":"R. Membarth , O. Reiche , F. Hannig , J. Teich , M. K\u00f6rner , and W. Eckert . HIPA cc : A domain-specific language and compiler for image processing . TPDS , 2015 . R. Membarth, O. Reiche, F. Hannig, J. Teich, M. K\u00f6rner, and W. Eckert. HIPA cc : A domain-specific language and compiler for image processing. TPDS, 2015."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517208.2517228"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCL.1994.288372"},{"key":"e_1_3_2_1_38_1","volume-title":"Theoretical Computer Science","author":"Plotkin G. D.","year":"1977","unstructured":"G. D. Plotkin . LCF considered as a programming language . Theoretical Computer Science , 1977 . G. D. Plotkin. LCF considered as a programming language. Theoretical Computer Science, 1977."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/570886.570887"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868314"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594316"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048098"},{"key":"e_1_3_2_1_46_1","volume-title":"ICML","author":"Sujeeth A. K.","year":"2011","unstructured":"A. K. Sujeeth , H. Lee , K. J. Brown , H. Chafi , M. Wu , A. R. Atreya , K. Olukotun , T. Rompf , and M. Odersky . OptiML: an implicitly parallel domain-specific language for machine learning . In ICML , 2011 . A. K. Sujeeth, H. Lee, K. J. Brown, H. Chafi, M. Wu, A. R. Atreya, K. Olukotun, T. Rompf, and M. Odersky. OptiML: an implicitly parallel domain-specific language for machine learning. In ICML, 2011."},{"key":"e_1_3_2_1_47_1","volume-title":"Theoretical Computer Science","author":"Taha W.","year":"1999","unstructured":"W. Taha and T. Sheard . MetaML and multi-stage programming with explicit annotations . In Theoretical Computer Science , 1999 . W. Taha and T. Sheard. MetaML and multi-stage programming with explicit annotations. In Theoretical Computer Science, 1999."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271658"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993514"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/374106"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509581"}],"event":{"name":"GPCE'15: Generative Programming: Concepts and Experiences","location":"Pittsburgh PA USA","acronym":"GPCE'15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814204.2814208","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814204.2814208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:12:47Z","timestamp":1750212767000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814204.2814208"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,26]]},"references-count":48,"alternative-id":["10.1145\/2814204.2814208","10.1145\/2814204"],"URL":"https:\/\/doi.org\/10.1145\/2814204.2814208","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2936314.2814208","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,10,26]]},"assertion":[{"value":"2015-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}