Compiling Techniques to Exploit the Pattern of Language Use.
The Second Law of Debugging.
Memoryless Execution: A Programmer's Viewpoint.
Linking a CYBER76 to a 3600.
DAVE-A Validation Error Detection and Documentation System for Fortran Programs.
A Review of Design Techniques for Programs and Data.
A Numerical Profile of Commercial PL/I Programs.
The Viscom-A System of 'Soft' Video-terminals.
A Language-independent System to Aid the Development of Structured Programs.
LEKTOR-A List-oriented, Machine-independent Programming System for Conversational Applications.