An Operational Semantics for Specifications of Abstract Data Types with Error Handling.
Gregor EngelsUdo PletatHans-Dieter EhrichPublished in: Acta Informatica (1983)
Keyphrases
- operational semantics
- error handling
- abstract data types
- data abstraction
- data model
- data types
- programming language
- object oriented databases
- formal semantics
- relational database systems
- mental states
- relational model
- database design
- database
- object oriented
- database systems
- database management systems
- visual basic
- query language
- conceptual modeling
- databases
- general purpose
- formal specification
- speech acts
- spatio temporal data
- xml documents
- data mining