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.