 |
|
||||||||||
Tools
Open Positions
We are recruiting PhD students in program verification, programming languages, and programming environments. Check out the job descriptions.
Our Mailing List
If you are interested in our activities, you can subscribe to the PMInterest mailing list.
Available Student Projects
Our group offers many different topics for Master's theses, Bachelor's theses, and Research in Computer Science Projects.
Overview
See the research page for an overview of the Universe type system.
JML2 Compiler
We integrated the Universe type system into the MultiJava compiler and the JML Tools.
The manual pages describe the command line options that are relevant for the Universe type system. The files are in the JML distribution in the directory JML2/docs/man and available online. The Nroff source is also online.
We also have a Quick-Reference for the Universe type system that describes all the type rules and command line options.
JML 2 Eclipse Plug-In
We integrated the MJ/JML compiler into the
Eclipse IDE.
For more see
this page.
Universe Type System Tools for Scala
We implemented a version of the Universe type system as a pluggable type checker for Scala. For more see this page.
Contact
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information
