Data reliability
- 1 April 1975
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 10 (6) , 528-533
- https://doi.org/10.1145/390016.808476
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Proof of correctness of data representationsActa Informatica, 1972
- The programming language pascalActa Informatica, 1971
- Another look at dataPublished by Association for Computing Machinery (ACM) ,1967
- A Basis for a Mathematical Theory of Computation)Published by Elsevier ,1963