Universe Type System Tools for Scala

Overview

See the research page for an overview of the Universe type system and the tools page for information about the tools we provide.

Compiler Plug-In

We integrated the Universe type system into the Scala compiler using type annotations and the compiler plug-in infrastructure.

The thesis report describes all the details of the implementation, the users guide gives the high-level guide for users, and the developers guide contains information for people interested in reusing the plug-in.

We provide the complete implementation (.tar.gz), including pre-compiled Java byte code and the Scala source code for the plug-in under the GPL2.

The plug-in can also be downloaded in these separate JAR file

• source code
• UTS annotations
• UTS static checks
• UTS runtime checks
• runtime support files for MultiJava
• runtime support files for Scala

Releases

Version 1.0.0, February 2008:

Master project of Manfred Stock: The current release does not yet support the full Scala language and does not correctly check all UTS rules. Still, it is a very usable first implementation.

Student Projects

Past Students:

For a complete list of past student projects on the Universe type system see the main page.
Manfred Stock     Implementing a Universe Type System for Scala
Daniel Schregenberger     Universe Type System for Scala

Contact

These tools are provided as-is without any support or warranty. Also see the GNU General Public License, version 2.

Werner M. Dietl