Data abstraction, data bases and conceptual modelling (Position Paper)
- 23 June 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record
- Vol. 11 (2) , 196-197
- https://doi.org/10.1145/960126.806921
Abstract
There is no paper with a mathematical foundation that I know of that strikes more at the heart of the subject of this Workshop than that of R.M. Burstall and J.A. Goguen [10], presented at the Fifth International Joint Conference on Artificial Intelligence in August of 1977.Keywords
This publication has 2 references indexed in Scilit:
- Programming languages as mathematical objectsLecture Notes in Computer Science, 1978
- Rational algebraic theories and fixed-point solutionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976