A Transactional Correctness Tool for Abstract Data Types.

Christina L. Peterson Damian Dechev

Published in: ACM Trans. Archit. Code Optim. (2017)

Keyphrases

abstract data types
data types
data abstraction
programming language
object oriented databases
data model
object oriented
database management systems
relational database systems
database
databases
spatial information
expressive power
algebraic operations
spatial aggregation