A Scheme for the Automatic Inference of Variable Types
- Marc A. Kaplan
- Jeffrey D. Ullman
- 1980
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
195 results at Journal of the ACM
External Hashing Schemes for Collections of Data Structures
- Richard J. Lipton
- Arnold L. Rosenberg
- et al.
- 1980
- Journal of the ACM
Encoding Data Structures in Trees
- Arnold L. Rosenberg
- 1979
- Journal of the ACM
Search within a Page
- H.R. Strong
- G. Markowsky
- et al.
- 1979
- Journal of the ACM
Relations Among Complexity Measures
- Nicholas Pippenger
- Michael J. Fischer
- 1979
- Journal of the ACM
Data Flow Analysis for Procedural Languages
- Barry K. Rosen
- 1979
- Journal of the ACM
On the Average Number of Maxima in a Set of Vectors and Applications
- J.L. Bentley
- H.T. Kung
- et al.
- 1978
- Journal of the ACM
Some Matching Problems for Bipartite Graphs
- Steven L. Tanimoto
- Alon Itai
- et al.
- 1978
- Journal of the ACM
Path Calculus in Program Verification
- Daniel Brand
- 1978
- Journal of the ACM
A Time-Space Trade-Off
- Nicholas Pippenger
- 1978
- Journal of the ACM