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
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail