By henk
via types.cs.washington.edu
Published: Dec 11 2012 / 08:15
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.
Add your comment