On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
Hendrik TewsMarcus VölpTjark WeberPublished in: SSV (2012)
Keyphrases
- data types
- low level
- type checking
- data model
- data structure
- database management systems
- high level
- higher level
- semantic information
- logical design
- user defined
- database systems
- abstract data types
- source code
- database server
- relational data model
- high level semantics
- object oriented
- data mining
- relational calculus
- visual features
- data mining algorithms
- database
- conceptual model
- general purpose
- data formats
- query processing
- object types
- object identity
- preprocessing
- data sets