C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Weak-consistency specification via visibility relaxation.
Michael Emmi
Constantin Enea
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
lower bound
high level
iterative algorithms
global consistency
formal specification
probabilistic relaxation
consistency checking
maintaining consistency
database
databases
genetic algorithm
information systems
database systems
relational databases
user defined
specification language