Describing and Verifying Programs with Abstract Data Types.
Reiji NakajimaMichio HondaHayao NakaharaPublished in: Formal Description of Programming Concepts (1977)
Keyphrases
- abstract data types
- data types
- data abstraction
- relational database systems
- object oriented databases
- programming language
- data model
- spatial aggregation
- database systems
- relational databases
- algebraic operations
- database management systems
- general purpose
- query processing
- spatio temporal
- data structure
- object identity
- database