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.4.3.1
URN: urn:nbn:de:0030-drops-92337
URL: https://drops.dagstuhl.de/opus/volltexte/2018/9233/
Campos, Joana ; Vasconcelos, Vasco T.
Dependent Types for Class-based Mutable Objects (Artifact)
| pdf-format: |
|
|
| artifact-format: |
|
Abstract
This artifact is based on DOL, a Dependent Object-oriented Languagefeaturing 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 |
