License
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.3.1
URL: http://drops.dagstuhl.de/opus/volltexte/2018/9233/
Go back to Dagstuhl Artifacts Series


Campos, Joana ; Vasconcelos, Vasco T.

Dependent Types for Class-based Mutable Objects (Artifact)

pdf-format:
DARTS-4-3-1.pdf (0.3 MB)
artifact-format:
DARTS-4-3-1-artifact-d297a4689340e5f6ebac3b9776232b0c.zip (2,805 MB)


Abstract

This artifact is based on DOL, a Dependent Object-oriented Language featuring dependent types, mutable objects and class-based inheritance with subtyping. The typechecker written in Xtend, a flexible and expressive dialect of Java, is a direct implementation of the algorithmic type system described in the companion paper. It uses a direct interface to Z3 theorem prover via its API for Java. The artifact ships with an IDE developed as an Eclipse plugin based on the Xtext framework.

BibTeX - Entry

@Article{campos_et_al:DARTS:2018:9233,
  author =	{Joana Campos and Vasco T. Vasconcelos},
  title =	{{Dependent Types for Class-based Mutable Objects (Artifact)}},
  pages =	{1:1--1:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2018},
  volume =	{4},
  number =	{3},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9233},
  doi =		{10.4230/DARTS.4.3.1},
  annote =	{Keywords: dependent types, index refinements, mutable objects, type systems}
}

Keywords: dependent types, index refinements, mutable objects, type systems
Seminar: DARTS, Volume 4, Issue 3
Related Scholarly Article: https://dx.doi.org/10.4230/LIPIcs.ECOOP.2018.13
Issue Date: 2018
Date of publication: 05.07.2018


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