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