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
Original languageEnglish
Title of host publicationProceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017
EditorsDavide Ancona
PublisherAssociation for Computing Machinery (ACM)
ISBN (Electronic)978-1-4503-5526-1
StatePublished - 24 Oct 2017

    Research areas

  • object orientation, dynamic semantics, name resolution, DynSem, Grace

ID: 34370611