Creative Commons Attribution 3.0 Germany license
7d8cefecd0152cd0fe7291df3cd709f9
(Get MD5 Sum)
This artifact is a PLT Redex implementation of the operational semantics presented in Object Inheritance Without Classes. It defines the core syntax and runtime semantics of the Graceless language, and then extends it in multiple different ways to produce the various implementations of object inheritance, including single and multiple inheritance. The implementation makes the semantics runnable, and precisely defines some behaviour which is defined informally in the paper.
@Article{jones_et_al:DARTS.2.1.6,
author = {Jones, Timothy and Homer, Michael},
title = {{Object Inheritance Without Classes (Artifact)}},
pages = {6:1--6:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Jones, Timothy and Homer, Michael},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.6},
URN = {urn:nbn:de:0030-drops-61278},
doi = {10.4230/DARTS.2.1.6},
annote = {Keywords: Inheritance, Objects, Classes, Operational semantics, PLT Redex}
}