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
