Structured programming
A facility for defining and manipulating generalized data structures
ACM Transactions on Database Systems (TODS)
On the use of pointers and the teaching of disciplined programming
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Abstract data types in the Model programming language
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Correctness of data representations (Extended Abstract): Pointers in high level languages
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Some considerations in database application programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Software development with executable functional specifications
ICSE '82 Proceedings of the 6th international conference on Software engineering
Proceedings of an ACM conference on Language design for reliable software
C: toward a concise syntactic description
ACM SIGPLAN Notices
An informal approach to formal specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
Programming Languages The First 25 Years
IEEE Transactions on Computers
Dependable and Historic Computing
| Hi-index | 0.00 |
This paper surveys the problems of achieving data reliability, and finds them more severe than those of program reliability. It then outlines some of the conceptual and methodological tools which are available for the solution of these problems, including the concept of type, direct product, union, sequence, recursion and mapping. It touches on the topdown design of data and programs, and argues that references or pointers are to be avoided. It concludes with an annotated bibliography for further reading.