The semantics of name resolution in Grace

Vlad Vergu, Michiel Haisma, Eelco Visser

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)
64 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationDLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017
EditorsDavide Ancona
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Pages63-74
Number of pages12
ISBN (Electronic)978-1-4503-5526-1
DOIs
Publication statusPublished - 2017
EventDLS 2017: The 13th ACM SIGPLAN International Symposium on on Dynamic Languages - Vancouver, Canada
Duration: 24 Oct 201724 Oct 2017

Publication series

NameACM Sigplan Notices- DLS'17
PublisherACM
Number11
Volume52
ISSN (Print)0362-1340
ISSN (Electronic)1558-1160

Conference

ConferenceDLS 2017
Country/TerritoryCanada
CityVancouver
Period24/10/1724/10/17

Keywords

  • object orientation
  • dynamic semantics
  • name resolution

Fingerprint

Dive into the research topics of 'The semantics of name resolution in Grace'. Together they form a unique fingerprint.

Cite this