David Lazar

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs.

Javarifier divides the variables in a program into two groups: the variables the program mutates, and the variables that are never mutated. In other words, Javarifier infers the immutability of every reference in a Java program. Javarifier uses Javari's definition of immutability. Thus, Javarifier ... [More] converts Java programs and libraries to Javari. [Less]

Plume-lib is a library of useful abstractions for programming. It includes both libraries (written in Java and in Emacs Lisp) and standalone programs (written in a variety of programming languages). Its source code files are generally well-documented, though plume-lib as a whole is only starting ... [More] to acquire overview documentation, so you should browse to see what is available. [Less]