Loci Pluggable Type Checker
Posted by amanjpro on March 9, 2011 at 1:54 AM PST
Summary
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
Community:
»
- 119 reads
