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.
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.
Original language | English |
---|---|
Title of host publication | DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017 |
Editors | Davide Ancona |
Place of Publication | New York |
Publisher | Association for Computing Machinery (ACM) |
Pages | 63-74 |
Number of pages | 12 |
ISBN (Electronic) | 978-1-4503-5526-1 |
DOIs | |
Publication status | Published - 2017 |
Event | DLS 2017: The 13th ACM SIGPLAN International Symposium on on Dynamic Languages - Vancouver, Canada Duration: 24 Oct 2017 → 24 Oct 2017 |
Publication series
Name | ACM Sigplan Notices- DLS'17 |
---|---|
Publisher | ACM |
Number | 11 |
Volume | 52 |
ISSN (Print) | 0362-1340 |
ISSN (Electronic) | 1558-1160 |
Conference
Conference | DLS 2017 |
---|---|
Country/Territory | Canada |
City | Vancouver |
Period | 24/10/17 → 24/10/17 |
Keywords
- object orientation
- dynamic semantics
- name resolution