On the Distributed Parallel Simulation of Hopfield's Neural Networks.
Integrating Prolog and CADAM to Produce an Intelligent CAD System.
The Implementation of ProTest: a Prolog Debugger for a Refined Box Model.
Incremental Register Reallocation.
Implementation of a Portable Screen Manager.