Refinement and retrenchment for programming language data types.
Bernhard BeckertSteffen SchlagerPublished in: Formal Aspects Comput. (2005)
Keyphrases
- programming language
- data types
- object oriented
- data model
- data structure
- user defined
- general purpose
- database systems
- software engineering
- database management systems
- strongly typed
- high level
- abstract data types
- object oriented programming
- functional programming
- object relational
- database server
- database
- denotational semantics
- microsoft sql server
- databases