Documents

  • dls17-main9

    Final published version, 747 KB, PDF-document

DOI

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
StatePublished - 2017
EventDLS 2017 - Vancouver, Canada

Publication series

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

Conference

ConferenceDLS 2017
CountryCanada
CityVancouver
Period24/10/1724/10/17

    Research areas

  • object orientation, dynamic semantics, name resolution

ID: 34370611