Download: PDF.

“MultiJava, JML, and Generics” by Ovidio Mallo. Oct. 2006. Semester project.


The goal of this semester project is to extend the already existing support for generics in the MultiJava compiler by implementing special features of Java generics on top of it, namely wildcards and raw types, while also making the necessary modifications to JML. To that end, we will give a brief overview of Java generics and describe the main design decisions behind its specification before presenting a thorough discussion of wildcards and raw types along with several interesting examples which should provide the necessary insight into some of the subtleties of the parametric polymorphism as realized in the Java 5 language. This will give us the necessary theoretical and practical ground before proceeding to the discussion of the actual implementation.

Download: PDF.

BibTeX entry:

   author = {Ovidio Mallo},
   title = {{MultiJava, JML, and Generics}},
   month = oct,
   note = {Semester project}

Back to the student projects sorted by date or by category.

(This webpage was created with bibtex2web.)