Student Project: MultiJava, JML, and Generics
Download: PDF.
“MultiJava, JML, and Generics” by Ovidio Mallo. Oct. 2006. Semester project.
Abstract
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:
@unpublished{OMallo06,
author = {Ovidio Mallo},
title = {{MultiJava, JML, and Generics}},
month = oct,
note = {Semester project}
}
Back to the student projects sorted by date or by category.
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
(This webpage was created with bibtex2web.)