Data Abstraction: A General Framework to Handle Program Verification of Data Structures.

Julien Braine Laure Gonnord David Monniaux

Published in: SAS (2021)

Keyphrases

data abstraction
data structure
database management
conceptual modelling
conceptual modeling
abstract data types
data types
object oriented
formal specification
object oriented databases
programming language
building blocks
main memory
data management
databases
general purpose
information systems