On B-trees Re-examined.
Proving the Correctness of Heuristically Optimized Code.
Pseudochaining in Hash Tables.
Interlude on signals and semephores revisited.
Thoughtless programming? author's response.
An O(n) Algorithm for Determining a Near-Optimal Computation Order of Matrix Chain Products.
Interpolation Search - A Log Log N Search.
Thoughtless programming.
Shallow Binding in LISP 1.5.
Interlude on signals and semphores revisited. author's response.
Time, Clocks, and the Ordering of Events in a Distributed System.
On the Complexity of Computing the Measure of U[ai, bi].
An Algorithm for Reasoning About Equality.
On LRU stack model suitability. author's response.
On LRU stack model suitability.
An English Language Query Answering System for a Large Relational Data Base.
On B-trees Re-examined - Authors' Response.
Analysis of the Availability of Computer Systems Using Computer-Aided Algebra.