Synthesizing abstract data type specifications.
Boumediene BelkhoucheJoseph E. UrbanGregory A. RiccardiPublished in: ACM Southeast Regional Conference (1982)
Keyphrases
- abstract data types
- data types
- denotational semantics
- programming language
- object oriented databases
- data abstraction
- relational database systems
- high level
- data model
- operational semantics
- spatio temporal databases
- relational data model
- relational databases
- type checking
- object oriented
- spatio temporal data
- databases
- database
- website
- knowledge representation
- xml documents
- data analysis