What’s NEW – Page 304 – SIGMOD Record

Towards the construction of verifiable software systems

L. Flon, A. N. Habermann

Available in: PDF

Published in March 1976 (Vol.8 No.2)

Some ideas on data types in high level languages

David Gries, Narain Gehani

Available in: PDF

Published in March 1976 (Vol.8 No.2)

DIAM II: The binary infological level and its database language – FORAL

Michael E. Senko

Available in: PDF

Published in March 1976 (Vol.8 No.2)

Correctness of data representations (Extended Abstract): Pointers in high level languages

D. M. Berry, Z. Erlich, C. J. Lucena

Available in: PDF

Published in March 1976 (Vol.8 No.2)

On the use of bit maps for multiple key retrieval

Oscar Vallarino

Available in: PDF

Published in March 1976 (Vol.8 No.2)

Programming without pointer variables

Richard B. Kieburtz

Available in: PDF

Published in March 1976 (Vol.8 No.2)

A technique for implementing a set processor

W. T. Hardgrave

Available in: PDF

Published in March 1976 (Vol.8 No.2)

From information requirements to DBTG-data structures

J. A. Bubenko, S. Berild, E. Lindencrona-Ohlin, S. Nachmens

Available in: PDF

Published in March 1976 (Vol.8 No.2)

Abstract data types and the development of data structures

John Guttag

Available in: PDF

Published in March 1976 (Vol.8 No.2)

Data base abstraction

John M. Smith, Diane C. P. Smith

Available in: PDF

Published in March 1976 (Vol.8 No.2)