Document Open Access Logo

Dependent Types for Class-based Mutable Objects (Artifact)

Authors Joana Campos, Vasco T. Vasconcelos

PDF

Artifact Description

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

Document Identifiers

Subject Classification

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

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.

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

Author Details

Joana Campos
Vasco T. Vasconcelos

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
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact