On Live-Dead Analysis for Global Data Flow Problems
- Lawrence T. Kou
- 1977
- Journal of the ACM
Paper
Publications
196 results at Journal of the ACM
Hashing Schemes for Extendible Arrays
- Arnold L. Rosenberg
- Larry J. Stockmeyer
- 1977
- Journal of the ACM
PaperInitial Algebra Semantics and Continuous Algebras
- J.A. Goguen
- J.W. Thatcher
- et al.
- 1977
- Journal of the ACM
PaperA Methodology for LISP Program Construction from Examples
- Phillip D. Summers
- 1977
- Journal of the ACM
PaperAn Analysis of Binary Search Trees Formed from Sequences of Nondistinct Keys
- William H. Burge
- 1976
- Journal of the ACM
PaperShifting Graphs and Their Applications
- Nicholas Pippenger
- Leslie G. Valiant
- 1976
- Journal of the ACM
PaperResolution Strategies as Decision Procedures
- William H. Joyner
- 1976
- Journal of the ACM
PaperA Queueing Model with Finite Waiting Room and Blocking
- Alan G. Konheim
- Martin Reiser
- 1976
- Journal of the ACM
PaperA Polynomial-Time Algorithm for the Knapsack Problem with Two Variables
- D.S. Hirschberg
- C.K. Wong
- 1976
- Journal of the ACM
PaperThe independence of miss ratio on page size
- Ronald Fagin
- Malcolm C. Easton
- 1976
- Journal of the ACM
Paper