Synthesizing Implementations of Abstract Data Types from Axiomatic Specifications.
Pankaj JalotePublished in: Softw. Pract. Exp. (1987)
Keyphrases
- abstract data types
- data types
- programming language
- data abstraction
- object oriented databases
- relational database systems
- data model
- spatial aggregation
- formal specification
- high level
- order sorted
- algebraic operations
- spatio temporal data
- relational model
- relational databases
- association rules
- data analysis
- data structure