An informal approach to formal specifications
- 1 September 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record
- Vol. 14 (1) , 45-54
- https://doi.org/10.1145/984540.984544
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Towards multi-level and modular conceptual schema specificationsInformation Systems, 1984
- How do we tell truths that might hurt?ACM SIGPLAN Notices, 1982
- On Database LogicJournal of the ACM, 1982
- The role of time in information processingACM SIGMOD Record, 1982
- Procedural specifications and implementations for abstract data typesACM SIGPLAN Notices, 1981
- On Databases with Incomplete InformationJournal of the ACM, 1981
- Applications of graph grammar theory to consistency, synchronization and scheduling in data base systemsInformation Systems, 1980
- A Formal System for Reasoning about Programs Accessing a Relational DatabaseACM Transactions on Programming Languages and Systems, 1980
- Data abstractions for database systemsACM Transactions on Database Systems, 1979
- The ANSI/X3/SPARC DBMS framework report of the study group on database management systemsInformation Systems, 1978