License: Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.2.1.6
URN: urn:nbn:de:0030-drops-61278
Go back to Dagstuhl Artifacts Series

Jones, Timothy ; Homer, Michael

Object Inheritance Without Classes (Artifact)

DARTS-2-1-6.pdf (0.3 MB)


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.

BibTeX - Entry

  author =	{Timothy Jones and Michael Homer},
  title =	{{Object Inheritance Without Classes (Artifact)}},
  pages =	{6:1--6:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2016},
  volume =	{2},
  number =	{1},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-61278},
  doi =		{10.4230/DARTS.2.1.6},
  annote =	{Keywords: Inheritance, Objects, Classes, Operational semantics, PLT Redex}

Keywords: Inheritance, Objects, Classes, Operational semantics, PLT Redex
Collection: DARTS, Volume 2, Issue 1
Related Scholarly Article:
Issue Date: 2016
Date of publication: 14.07.2016

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI