{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:55Z","timestamp":1772164075884,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,24]],"date-time":"2017-10-24T00:00:00Z","timestamp":1508803200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,24]]},"DOI":"10.1145\/3133841.3133847","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:51:09Z","timestamp":1507798269000},"page":"63-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The semantics of name resolution in grace"],"prefix":"10.1145","author":[{"given":"Vlad","family":"Vergu","sequence":"first","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michiel","family":"Haisma","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eelco","family":"Visser","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Hubert Baumeister Harald Ganzinger Georg Heeg and Michael R\u00fcger. 1987. Smalltalk-80. it 29 4 (1987) 241\u2013251.  Hubert Baumeister Harald Ganzinger Georg Heeg and Michael R\u00fcger. 1987. Smalltalk-80. it 29 4 (1987) 241\u2013251.","DOI":"10.1524\/itit.1987.29.4.241"},{"key":"e_1_3_2_1_2_1","unstructured":"Lorenzo Bettini. 2016. Implementing Domain-Specific Languages with Xtext and Xtend (2nd ed.). Packt Publishing.  Lorenzo Bettini. 2016. Implementing Domain-Specific Languages with Xtext and Xtend (2nd ed.). Packt Publishing."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Lorenzo Bettini. 2016. Implementing type systems for the IDE with Xsemantics. jlp 85 5 (2016) 655\u2013680.  Lorenzo Bettini. 2016. Implementing type systems for the IDE with Xsemantics. jlp 85 5 (2016) 655\u2013680.","DOI":"10.1016\/j.jlamp.2015.11.005"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Andrew P. Black Kim B. Bruce Michael Homer and James Noble. 2012. Grace: the absence of (inessential) difficulty. In OOPSLA. 85\u201398.  Andrew P. Black Kim B. Bruce Michael Homer and James Noble. 2012. Grace: the absence of (inessential) difficulty. In OOPSLA. 85\u201398.","DOI":"10.1145\/2384592.2384601"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Denis Bogdanas and Grigore Rosu. 2015. K-Java: A Complete Semantics of Java. In POPL. 445\u2013456.  Denis Bogdanas and Grigore Rosu. 2015. K-Java: A Complete Semantics of Java. In POPL. 445\u2013456.","DOI":"10.1145\/2775051.2676982"},{"key":"e_1_3_2_1_6_1","volume-title":"In 3rd ECOOP Workshop on Dynamic Languages and Applications (DYLA).","author":"Bracha Gilad","year":"2007"},{"key":"e_1_3_2_1_7_1","unstructured":"Gilad Bracha. 2017. Newspeak programming language draft specification version 0.1. http:\/\/newspeaklanguage.org\/spec\/newspeakspec.pdf. (February 2017).  Gilad Bracha. 2017. Newspeak programming language draft specification version 0.1. http:\/\/newspeaklanguage.org\/spec\/newspeakspec.pdf. (February 2017)."},{"key":"e_1_3_2_1_8_1","first-page":"1","article-title":"Program Transformation with Scoped Dynamic Rewrite Rules","volume":"69","author":"Bravenboer Martin","year":"2006","journal-title":"FUIN"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46734-3_4"},{"key":"e_1_3_2_1_10_1","unstructured":"ECMA. 2009. ECMA-262 ECMAScript Language Specification. http:\/\/www.ecma-international.org\/publications\/files\/ECMA-ST\/ ECMA-262.pdf . (December 2009).  ECMA. 2009. ECMA-262 ECMAScript Language Specification. http:\/\/www.ecma-international.org\/publications\/files\/ECMA-ST\/ ECMA-262.pdf . (December 2009)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103719"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.08.007"},{"key":"e_1_3_2_1_13_1","unstructured":"Matthias Felleisen Robby Findler and Matthew Flatt. 2009. Semantics Engineering with PLT Redex. MIT Press.  Matthias Felleisen Robby Findler and Matthew Flatt. 2009. Semantics Engineering with PLT Redex. MIT Press."},{"key":"e_1_3_2_1_14_1","unstructured":"Adele Goldberg and David Robson. 1983. Smalltalk-80: The Language and Its Implementation. Addison-Wesley.  Adele Goldberg and David Robson. 1983. Smalltalk-80: The Language and Its Implementation. Addison-Wesley."},{"key":"e_1_3_2_1_15_1","unstructured":"James Gosling Bill Joy Guy Steele Gilad Bracha and Alex Buckley. 2014. The Java Language Specification. Java SE 8 Edition.  James Gosling Bill Joy Guy Steele Gilad Bracha and Alex Buckley. 2014. The Java Language Specification. Java SE 8 Edition."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_7"},{"key":"e_1_3_2_1_17_1","unstructured":"Michael Homer James Noble Kim B. Bruce and Andrew P. Black. 2013. Modules and dialects as objects in Grace. School of Engineering and Computer Science Victoria University of Wellington (2013).  Michael Homer James Noble Kim B. Bruce and Andrew P. Black. 2013. Modules and dialects as objects in Grace. School of Engineering and Computer Science Victoria University of Wellington (2013)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384577.2384581"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039592"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869497"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2009.28"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Gabri\u00ebl D. P. Konat Lennart C. L. Kats Guido Wachsmuth and Eelco Visser. 2012. Declarative Name Binding and Scope Rules. In SLE. 311\u2013 331.  Gabri\u00ebl D. P. Konat Lennart C. L. Kats Guido Wachsmuth and Eelco Visser. 2012. Declarative Name Binding and Scope Rules. In SLE. 311\u2013 331.","DOI":"10.1007\/978-3-642-36089-3_18"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Sergio Maffeis John C. Mitchell and Ankur Taly. 2008. An Operational Semantics for JavaScript. In aplas. 307\u2013325.  Sergio Maffeis John C. Mitchell and Ankur Taly. 2008. An Operational Semantics for JavaScript. In aplas. 307\u2013325.","DOI":"10.1007\/978-3-540-89330-1_22"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.073"},{"key":"e_1_3_2_1_25_1","unstructured":"Jukka M\u00e4ki-Turja K Post and Jan Gustafsson. 1997. An operational semantics for Smalltalk. Department of Computer Engineering M\u00e4lardalen University Sweden (1997).  Jukka M\u00e4ki-Turja K Post and Jan Gustafsson. 1997. An operational semantics for Smalltalk. Department of Computer Engineering M\u00e4lardalen University Sweden (1997)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_9"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Gordon D. Plotkin. 2004. A structural approach to operational semantics. jlp 60-61 (2004) 17\u2013139.  Gordon D. Plotkin. 2004. A structural approach to operational semantics. jlp 60-61 (2004) 17\u2013139.","DOI":"10.1016\/j.jlap.2004.05.001"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509536"},{"key":"e_1_3_2_1_29_1","unstructured":"Casper Bach Poulsen Pierre N\u00e9ron Andrew P. Tolmach and Eelco Visser. 2016. Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. In ECOOP.  Casper Bach Poulsen Pierre N\u00e9ron Andrew P. Tolmach and Eelco Visser. 2016. Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. In ECOOP."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Grigore Rosu and Traian-Florin Serbanuta. 2010. An overview of the K semantic framework. jlp 79 6 (2010) 397\u2013434.  Grigore Rosu and Traian-Florin Serbanuta. 2010. An overview of the K semantic framework. jlp 79 6 (2010) 397\u2013434.","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"David Ungar and Randall B. Smith. 1987. Self: The Power of Simplicity. In OOPSLA. 227\u2013242.  David Ungar and Randall B. Smith. 1987. Self: The Power of Simplicity. In OOPSLA. 227\u2013242.","DOI":"10.1145\/38807.38828"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2847538.2847543"},{"key":"e_1_3_2_1_34_1","unstructured":"Vlad A. Vergu Pierre N\u00e9ron and Eelco Visser. 2015. DynSem: A DSL for Dynamic Semantics Specification. In RTA. 365\u2013378.  Vlad A. Vergu Pierre N\u00e9ron and Eelco Visser. 2015. DynSem: A DSL for Dynamic Semantics Specification. In RTA. 365\u2013378."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661149"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Tobi Vollebregt Lennart C. L. Kats and Eelco Visser. 2012. Declarative specification of template-based textual editors. In LDTA. 1\u20137.  Tobi Vollebregt Lennart C. L. Kats and Eelco Visser. 2012. Declarative specification of template-based textual editors. In LDTA. 1\u20137.","DOI":"10.1145\/2427048.2427056"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47891-4_11"}],"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 13th ACM SIGPLAN International Symposium on on Dynamic Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133841.3133847","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3133841.3133847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:30:34Z","timestamp":1750203034000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133841.3133847"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,24]]},"references-count":36,"alternative-id":["10.1145\/3133841.3133847","10.1145\/3133841"],"URL":"https:\/\/doi.org\/10.1145\/3133841.3133847","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3170472.3133847","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,10,24]]},"assertion":[{"value":"2017-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}