Projects

• DrJava: Light-weight Java IDE that includes an interactive REPL.
• NextGen: Generic Java compiler with support for 1st-class genericity.
• Concutest: A Framework for Testing Concurrent Programs.

Courses

• comp311: Principles of Programming Languages
• comp312: Program Engineering

Resources

• DrJava Releases for Rice
• Publications
• Setting up a JavaPLT Development Environment
• JavaPLT coding conventions
• Javadoc collection

External Quicklinks

• Java 1.4.2 APIs
• Java 1.5 APIs
• Java Tutorial
• Java Language Specification
• Java Virtual Machine Specification
• CVS: Concurrent Versions Systems
• Subversion: Version Control System
• Ant: Java-based build tool
• JUnit: Java unit testing framework