Abstract Data Type Specification in the AFFIRM System.
David R. MusserPublished in: IEEE Trans. Software Eng. (1980)
Keyphrases
- abstract data types
- data types
- denotational semantics
- programming language
- data abstraction
- object oriented databases
- relational database systems
- data model
- spatio temporal databases
- high level
- general purpose
- knowledge discovery
- database
- user defined
- spatio temporal
- relational databases
- operational semantics
- association rules
- artificial intelligence
- machine learning
- real world