Algebraic specification of the abstract data type "Continuum".
Manfred BroyAndrzej TarleckiPublished in: Bull. EATCS (1985)
Keyphrases
- abstract data types
- data types
- denotational semantics
- programming language
- data abstraction
- object oriented databases
- relational database systems
- type checking
- data model
- spatio temporal databases
- operational semantics
- high level
- formal specification
- software engineering
- database
- database systems
- machine learning
- conceptual model
- sensor networks
- spatio temporal
- data structure