Document Open Access Logo

Dependent Types for Class-based Mutable Objects (Artifact)

Authors Joana Campos, Vasco T. Vasconcelos

PDF
Thumbnail PDF

Artifact Description

DARTS.4.3.1.pdf
  • Filesize: 260 kB
  • 2 pages

Document Identifiers

Author Details

Joana Campos
Vasco T. Vasconcelos

Cite AsGet 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

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.
Keywords
  • dependent types
  • index refinements
  • mutable objects
  • type systems

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Related Article

  • Joana Campos and Vasco T. Vasconcelos, "Dependent Types for Class-based Mutable Objects", in 32nd European Conference on Object-Oriented Programming (ECOOP 2018), LIPIcs, Vol. 109, pp. 13:1-13:28, 2018. https://doi.org/10.4230/LIPIcs.ECOOP.2018.13
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact