DARTS.4.3.1.pdf
- Filesize: 260 kB
- 2 pages
Document
Dependent Types for Class-based Mutable Objects (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
Volume: DARTS, Volume 4 (ECOOP 2018)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2018-07-05
Cite As Get BibTex
Joana Campos and Vasco T. Vasconcelos. Dependent Types for Class-based Mutable Objects (Artifact). In Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Dagstuhl Artifacts Series (DARTS), Volume 4, Issue 3, pp. 1:1-1:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/DARTS.4.3.1
Artifact
DARTS-4-3-1-artifact-d297a4689340e5f6ebac3b9776232b0c.zip
(Filesize: 2.73 GB)
MD5 Sum:
d297a4689340e5f6ebac3b9776232b0c
(Get MD5 Sum)
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.
Subject Classification
Keywords
- dependent types
- index refinements
- mutable objects
- type systems
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads