{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T20:16:17Z","timestamp":1730319377005,"version":"3.28.0"},"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":"http:\/\/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-12T12:51:09Z","timestamp":1507812669000},"page":"2-14","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Refining semantics for multi-stage programming"],"prefix":"10.1145","author":[{"given":"Rui","family":"Ge","sequence":"first","affiliation":[{"name":"University of British Columbia, Canada"}]},{"given":"Ronald","family":"Garcia","sequence":"additional","affiliation":[{"name":"University of British Columbia, Canada"}]}],"member":"320","published-online":{"date-parts":[[2017,10,23]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/96709.96712"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/888251.888254"},{"volume-title":"Automata, Languages and Programming: 12th Colloquium, ICALP '85, Wilfried Brauer (Ed.)","author":"Curien Pierre-Louis","series-title":"Lecture Notes in Computer Science","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/91556.91622"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/3110256"},{"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_6_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.","key":"e_1_3_2_1_7_1","DOI":"10.1145\/3136040.3136047"},{"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_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","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"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1093\/comjnl\/6.4.308"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/365230.365257"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.5555\/645393.757557"},{"volume-title":"Advanced Topics in Bisimulation and Coinduction","author":"Pous Damien","key":"e_1_3_2_1_14_1"},{"volume-title":"Explicit Substitution: Tutorial & Survey. Technical Report. BRICS, Department of Computer Science","year":"1996","author":"Rose Kristoffer H\u00f8gsbro","key":"e_1_3_2_1_15_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.","key":"e_1_3_2_1_16_1","DOI":"10.1017\/CBO9780511777110"},{"volume-title":"Advanced Functional Programming: Third International School, AFP'98","author":"Sheard Tim","key":"e_1_3_2_1_17_1"},{"volume-title":"Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Proceedings, Walid Taha (Ed.)","author":"Sheard Tim","series-title":"Lecture Notes in Computer Science","key":"e_1_3_2_1_18_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/328690.328697"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","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"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/604131.604134"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/258993.259019"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1016\/S0304-3975(00)00053-0"},{"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_25_1"},{"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":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"acronym":"SPLASH '17","name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Vancouver BC Canada"},"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\/pdf\/10.1145\/3136040.3136047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T15:21:52Z","timestamp":1693840912000},"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"}}]}}