An Exception Handling Method for Constructive Algebraic Specifications.
A Micro-Kernel for Concurrency in C.
Experience With an Object-oriented Virtual Machine.
Inaccuracies in Program Profilers.
Process-graph Analyser: A Front-end Tool for VHDL Behavioural Synthesis.
VIS: A Virtual Image System for Image-understanding Research.
Structured FORTRAN Preprocessors Generating Optimized Output.