Publications

9063 results for Computer Science

Incremental program testing in a very high level language
- - B.M. Leavenworth
- 1976
- ACM Annual Conference 1976
Modeling and performance evaluation of physical data base structures
- - S.B. Yao
- 1976
- ACM Annual Conference 1976
An Introduction to Proving the Correctness of Programs
- - Sidney L. Hantler
  - James C. King
- 1976
- ACM Computing Surveys (CSUR)
Symbolic Execution and Program Testing
- - James C. King
- 1976
- CACM
Some experimental results on placement techniques
- - Maurice Hanan
  - Peter K. Wolff
  - et al.
- 1976
- DAC 1976
Logical Analysis of Programs
- - Shmuel Katz
  - Zohar Manna
- 1976
- CACM
CODASYL Data-Base Management Systems
- - Robert W. Taylor
  - Randall L. Frank
- 1976
- ACM Computing Surveys (CSUR)
Relational Data-Base Management Systems
- - Donald D. Chamberlin
- 1976
- ACM Computing Surveys (CSUR)
A Program Data Flow Analysis Procedure
- - F.E. Allen
  - J. Cocke
- 1976
- CACM
A Counterintuitive Example of Computer Paging
- - Ronald Fagin
- 1976
- CACM