{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T15:39:02Z","timestamp":1787067542077,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T00:00:00Z","timestamp":1508716800000},"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":[[2017,10,23]]},"DOI":"10.1145\/3136040.3136047","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:51:09Z","timestamp":1507798269000},"page":"2-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Refining semantics for multi-stage programming"],"prefix":"10.1145","author":[{"given":"Rui","family":"Ge","sequence":"first","affiliation":[{"name":"University of British Columbia, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ronald","family":"Garcia","sequence":"additional","affiliation":[{"name":"University of British Columbia, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96712"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888254"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming: 12th Colloquium, ICALP '85, Wilfried Brauer (Ed.)","author":"Curien Pierre-Louis"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91622"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110256"},{"key":"e_1_3_2_1_6_1","unstructured":"Matthias Felleisen Robert Bruce Findler and Matthew Flatt. 2009. Semantics Engineering with PLT Redex (1st ed.). The MIT Press.   Matthias Felleisen Robert Bruce Findler and Matthew Flatt. 2009. Semantics Engineering with PLT Redex (1st ed.). The MIT Press."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Rui Ge. 2016. Refining Semantics for Multi-stage Programming. Master's thesis. University of British Columbia.  Rui Ge. 2016. Refining Semantics for Multi-stage Programming . Master's thesis. University of British Columbia.","DOI":"10.1145\/3136040.3136047"},{"key":"e_1_3_2_1_8_1","unstructured":"Neil D. Jones Carsten K. Gomard and Peter Sestoft. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall Inc. Upper Saddle River NJ USA.   Neil D. Jones Carsten K. Gomard and Peter Sestoft. 1993. Partial Evaluation and Automatic Program Generation . Prentice-Hall Inc. Upper Saddle River NJ USA."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328408.1328430"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/1480945.1480962","volume-title":"Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM '09)","author":"Kameyama Yukiyoshi","year":"2009"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365257"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645393.757557"},{"key":"e_1_3_2_1_14_1","volume-title":"Advanced Topics in Bisimulation and Coinduction","author":"Pous Damien"},{"key":"e_1_3_2_1_15_1","volume-title":"Explicit Substitution: Tutorial & Survey. Technical Report. BRICS, Department of Computer Science","author":"Rose Kristoffer H\u00f8gsbro","year":"1996"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Davide Sangiorgi. 2011. Introduction to Bisimulation and Coinduction. Cambridge University Press New York NY USA.   Davide Sangiorgi. 2011. Introduction to Bisimulation and Coinduction . Cambridge University Press New York NY USA.","DOI":"10.1017\/CBO9780511777110"},{"key":"e_1_3_2_1_17_1","volume-title":"Advanced Functional Programming: Third International School, AFP'98","author":"Sheard Tim"},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Computer Science","volume-title":"Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Proceedings, Walid Taha (Ed.)","author":"Sheard Tim"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/328690.328697"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45350-4"},{"key":"e_1_3_2_1_21_1","first-page":"918","volume-title":"25th International Colloquium, ICALP'98 Proceedings, Kim G. Larsen, Sven Skyum, and Glynn Winskel (Eds.). Lecture Notes in Computer Science","volume":"1443","author":"Taha Walid","year":"1998"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604134"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/258993.259019"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00053-0"},{"key":"e_1_3_2_1_25_1","unstructured":"Walid Mohamed Taha. 1999. Multistage Programming: Its Theory and Applications. Ph.D. Dissertation. Oregon Graduate Institute of Science and Technology. https:\/\/www.cs.rice.edu\/~taha\/publications\/thesis\/thesis.pdf  Walid Mohamed Taha. 1999. Multistage Programming: Its Theory and Applications . Ph.D. Dissertation. Oregon Graduate Institute of Science and Technology. https:\/\/www.cs.rice.edu\/~taha\/publications\/thesis\/thesis.pdf"},{"key":"e_1_3_2_1_26_1","first-page":"4","article-title":"Systematic abstraction of abstract machines","volume":"22","author":"Horn David Van","year":"2012","journal-title":"Journal of Functional Programming"}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Vancouver BC Canada","acronym":"SPLASH '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136040.3136047","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3136040.3136047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:26:46Z","timestamp":1750199206000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136040.3136047"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,23]]},"references-count":26,"alternative-id":["10.1145\/3136040.3136047","10.1145\/3136040"],"URL":"https:\/\/doi.org\/10.1145\/3136040.3136047","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3170492.3136047","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,10,23]]},"assertion":[{"value":"2017-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}