On the Generation of Binary Trees.
A Polynomial Algorithm for the Two-Variable Integer Programming Problem.
Consistency in Hierarchical Database Systems.
A Scheme for the Automatic Inference of Variable Types.
Continuation-Based Program Transformation Strategies.
Stack Machines and Classes of Nonnested Macro Languages.
An optimal routing algorithm for mesh-connected Parallel computers.
Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial Embedding Theorem.
Efficient Computation of Expressions with Common Subexpressions.
Synchronization Problems Solvable by Generalized PV Systems.
External Hashing Schemes for Collections of Data Structures.
Message Waiting Time in a Packet Switching System.
The Number of Fanout-Free Functions with Various Gates.
Verification Decidability of Presburger Array Programs.
Polling in a Loop System.
A Note on Enumerating Binary Trees.