A Semantically-based Formatting Discipline for Pascal.
Preprocessing Embedded Actions.
A LIS Compiler for GCOS-7.
Implementation of Predicate-based Protection in MULTISAFE.
Toward Complete Programming Language Descriptions that are both Formal and Understandable.
An Interactive Data Visualization System.
The Application of Halstead's Software Science Theory to Algol 68 Programs.