GCI-A Tool for Developing Interactive CAD User Interfaces.
Automatic Inference and Fast Interpretation of Peephole Optimization Rules.
Synthesizing Implementations of Abstract Data Types from Axiomatic Specifications.
The Text Editor sam.
Object-oriented Data Management Based on Abstract Data Types.