JavaCOP: Pluggable type system for Java

About JavaCOP

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 @

The tar repository at the SourceForge site includes

Versioned source code, compilation scripts, and various examples are also available separately through SourceForge.


Contact Info: