Abstract Data Types and Algebraic Semantics of Programming Languages.
Claude PairPublished in: Theor. Comput. Sci. (1982)
Keyphrases
- abstract data types
- denotational semantics
- programming language
- data types
- data abstraction
- relational database systems
- logic programming
- object oriented databases
- programming language constructs
- relational data model
- database languages
- data model
- specification language
- type checking
- general purpose
- object oriented
- object identity
- database management systems
- software engineering
- database
- high level
- algebraic structure
- database systems
- domain specific languages
- databases
- spatio temporal
- machine learning
- strongly typed