@inproceedings{be54178e9c6d4c6e8cc1ad875386c2c7,
title = "The semantics of name resolution in Grace",
abstract = "Grace is a dynamic object oriented programming language designed to aid programming education. We present a formal model of and give an operational semantics for its object model and name resolution algorithm. Our main contributions are a systematic model of Grace{\textquoteright}s name resolution using scope graphs, relating linguistic features to other languages, and an operationalization of this model in the form of an operational semantics which is readable and executable. The semantics are extensively tested against a reference Grace implementation. ",
keywords = "object orientation, dynamic semantics, name resolution",
author = "Vlad Vergu and Michiel Haisma and Eelco Visser",
year = "2017",
doi = "10.1145/3133841.3133847",
language = "English",
series = "ACM Sigplan Notices- DLS'17",
publisher = "Association for Computing Machinery (ACM)",
number = "11",
pages = "63--74",
editor = "Davide Ancona",
booktitle = "DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017",
address = "United States",
note = "DLS 2017 : The 13th ACM SIGPLAN International Symposium on on Dynamic Languages ; Conference date: 24-10-2017 Through 24-10-2017",
}