VeriFx: Correct Replicated Data Types for the Masses.

Kevin De Porre Carla Ferreira Elisa Gonzalez Boix

Published in: ECOOP (2023)

Keyphrases

data types
data structure
database systems
data model
user defined
database management systems
back end
abstract data types
data manipulation language
databases
database server
microsoft sql server
query processing
data mining algorithms
application programs
data formats