The SL5 Procedure Mechanism.
New Sufficient Optimality Conditions for Integer Programming and their Application.
An Interference Matching Technique for Inducing Abstractions.
Automatic Data Structure Selection: An Example and Overview.
A Fast Algorithm for Copying List Structures.
Computer Generation of Gamma Random Variables.
Test Data as an Aid in Proving Program Correctness.
A Language Extension for Expressing Constraints on Data Access.
Incorporation of Units into Programming Languages.
Optimal Shift Strategy for a Block-Transfer CCD Memory.