The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs. Compile-Time Detection of Aliasing in Euclid Programs. A Design Methodology for Operating Systems. A Simulator for Real-Time Software Debugging and Testing. Register Allocation and Exhaustive Peephole Optimization.
Transducers are Type-converters.
Compact Coding of Syntax Tables. Top-Down Design Within a Functional Environment. An Experiment in Laguage Design for Distributed Systems. Another Language Designed on Semantic Principles. An Orthogonal Tagged High Level Architecture Abstract Machine.