Projects

A workbench for aspect-oriented programming language research: the AspectBench Compiler (abc) for AspectJ
Termination analysis of higher-order functional programs
Source code querying with Datalog: CodeQuest
Refactoring projects
- Aspect Refactoring Tools: ART
- A scripting language for refactoring: JunGL
- Refactoring via slicing: Nate
The JastAdd meta compiler system

This site conforms to the following standards:

Programming Tools Group