Welcome FAQ Download Papers Links

Related Projects

Jamit is the Java Access Modifier Inference Tool. Jamit can be used by Kacheck/J to tighen access modifiers, significantly increasing the number of types that can be classified as confined.
XTC is a framework for bytecode analysis and manipulation. XTC was used to implement Kacheck/J.

Other Related Projects

Optimistically Confined Types
In progress evaluation of confinment properties at run-time based upon snapshots of the heap.

Christian Grothoff