Data Flow Analysis for Procedural Languages
- Barry K. Rosen
- 1979
- Journal of the ACM
Publications
7983 results for AI
Relations Among Complexity Measures
- Nicholas Pippenger
- Michael J. Fischer
- 1979
- Journal of the ACM
The psychological study of design
- John C. Thomas
- John M. Carroll
- 1979
- Design Studies
Using rewriting rules for connection graphs to prove theorems
- C.L. Chang
- J.R. Slagle
- 1979
- Artificial Intelligence
A class of robust edge detectors based on latin squares
- Ivan Kadar
- Ludwik Kurz
- 1979
- Pattern Recognition
Some Matching Problems for Bipartite Graphs
- Steven L. Tanimoto
- Alon Itai
- et al.
- 1978
- 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
Path Calculus in Program Verification
- Daniel Brand
- 1978
- Journal of the ACM
Dynamic Placement of Records in Linear Storage
- A.C. McKellar
- C.K. Wong
- 1978
- Journal of the ACM
Regenerative Simulation of Response Times in Networks of Queues
- Donald L. Iglehart
- Gerald S. Shedler
- 1978
- Journal of the ACM