C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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