Small Programs
Prolog Hardware Synthesis
Smalltalk Compilation
ECL Software Engineering