Skip to main content

Loci Pluggable Type Checker

Posted by amanjpro on March 9, 2011 at 1:54 AM PST
Project URL

Go see Project Homepage


A simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time. The system, called Loci, is minimal, modular and compatible with legacy code.

Parent project

no parent