The semantics of name resolution in Grace

Vergu, V.A.; Haisma, M.A.; Visser, Eelco

doi:10.1145/3133841.3133847

The semantics of name resolution in Grace

Title

The semantics of name resolution in Grace

Author

Vergu, V.A. (TU Delft Programming Languages)
Haisma, M.A. (TU Delft Electrical Engineering, Mathematics and Computer Science)
Visser, Eelco (TU Delft Programming Languages)

Contributor

Ancona, Davide (editor)

Faculty

Electrical Engineering, Mathematics and Computer Science

Date

2017

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.

Subject

object orientation
dynamic semantics
name resolution

To reference this document use:

http://resolver.tudelft.nl/uuid:be54178e-9c6d-4c6e-8cc1-ad875386c2c7

DOI

https://doi.org/10.1145/3133841.3133847

Publisher

Association for Computing Machinery (ACM), New York

ISBN

978-1-4503-5526-1

Source

DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017