Publications

195 results at Journal of the ACM

Hashing Schemes for Extendible Arrays
- - Arnold L. Rosenberg
  - Larry J. Stockmeyer
- 1977
- Journal of the ACM
Initial Algebra Semantics and Continuous Algebras
- - J.A. Goguen
  - J.W. Thatcher
  - et al.
- 1977
- Journal of the ACM
A Methodology for LISP Program Construction from Examples
- - Phillip D. Summers
- 1977
- Journal of the ACM
Shifting Graphs and Their Applications
- - Nicholas Pippenger
  - Leslie G. Valiant
- 1976
- Journal of the ACM
Resolution Strategies as Decision Procedures
- - William H. Joyner
- 1976
- Journal of the ACM
An Analysis of Binary Search Trees Formed from Sequences of Nondistinct Keys
- - William H. Burge
- 1976
- Journal of the ACM
A Queueing Model with Finite Waiting Room and Blocking
- - Alan G. Konheim
  - Martin Reiser
- 1976
- Journal of the ACM
A Fast and Usually Linear Algorithm for Global Flow Analysis
- - Susan L. Graham
  - Mark Wegman
- 1976
- Journal of the ACM
A Polynomial-Time Algorithm for the Knapsack Problem with Two Variables
- - D.S. Hirschberg
  - C.K. Wong
- 1976
- Journal of the ACM
The independence of miss ratio on page size
- - Ronald Fagin
  - Malcolm C. Easton
- 1976
- Journal of the ACM