JavaCOP: Pluggable type system for Java
JavaCOP is a framework for pluggable type systems in Java. It
includes the JavaCOP language for implementing pluggable type systems,
tools for using these type systems to typecheck Java
programs, and tools for testing and debugging pluggable type systems.
To develop pluggable type systems and type check Java programs with JavaCOP, you will need the JavaCOP repository. The tutorial provides more detailed information on how to use the various components of JavaCOP.
Download JavaCOP files and source code @ SourceForge.net
The tar repository at the SourceForge site includes
- JavaCOP jar file (JavaCop.jar) - contains all source and class files for the JavaCOP parser, compiler, runtime instrumentation framework, and unit test framework.
- JavaCOP scripts - platform-independent* scripts for running components of JavaCOP
*(known to work with Linux, Mac OS X, and Cygwin)
- JavaCOP Rule Examples - a suite of JavaCOP rule examples including flow-sensitive versions of Nonnull and Unique reference type systems, a flow-insensitive Confined type system, and a Polyglot usage verifier.
Versioned source code, compilation scripts, and various examples are also available separately through SourceForge.
- JavaCOP Mailing List
Click here to join the JavaCOP mailing list.
- Current JavaCOP Developers