Proving and Disproving Programs with Shared Mutable Data.

Georg Stefan Schmid Viktor Kuncak

Published in: CoRR (2021)

Keyphrases

data quality
database
databases
data mining
data points
image data
dimensionality reduction
data processing
cloud computing
experimental data
network structure
raw data