The semantics of name resolution in Grace

Conference paper (2017)

Authors

V.A. Vergu Programming Languages - EEMCS
Eelco Visser Programming Languages - EEMCS
Research Group
Programming Languages (EEMCS) (TU Delft)
Copyright: © 2017 V.A. Vergu, M.A. Haisma, Eelco Visser
DOI: https://doi.org/10.1145/3133841.3133847
More Info
expand_more

Published Date

2017

Language

English

Faculty

Electrical Engineering, Mathematics and Computer Science

Department

Software Technology

Research Group

Programming Languages

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’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.