Matt McCutchen's Web SiteJavari  (Top, Bottom).  Email me about this page.

Javari: a "read only" type qualifier for Java

Status: unmaintained, not tested recently; 2006 (supersedes any conflicting remarks left on this page; see the home page for definitions)

At RSI 2006, I contributed to Javari, which provides checking and inference for a "read only" type qualifier in Java.  You can find my paper and presentation here.  The latest code, in which at least some of my contributions survive as of 2020-09-02, is available from the project web site.  If you are unable to get the code to work, let me know and I may be able to provide my code snapshot as of the end of my work instead.

DescriptionFileSizeModification time
Paperjavari-matt-mccutchen-paper.pdf1125582006-09-28 02:05:31 +0000
Presentationjavari-matt-mccutchen-presentation.ppt1838082006-08-08 17:23:40 +0000

Matt McCutchen's Web SiteJavari  (Top, Bottom).  Email me about this page.
Modification time of this page's main source file: 2020-09-02 15:07:07 +0000
Except where otherwise noted, Matt McCutchen waives his copyright to the content of this site.  This site comes with absolutely no warranty.  Why?