Beyond the Elementary Representations of Program Invariants over Algebraic Data Types.
Yurii KostyukovDmitry MordvinovGrigory FedyukovichPublished in: CoRR (2021)
Keyphrases
- data types
- data model
- database management systems
- database systems
- application programs
- data structure
- user defined
- back end
- database server
- imperative programs
- invariant representations
- databases
- abstract data types
- data sets
- database objects
- data manipulation language
- database applications
- data points
- high dimensional
- data formats
- spatiotemporal data