Robustness against release/acquire semantics.

Ori Lahav Roy Margalit

Published in: PLDI (2019)

Keyphrases

logic programming
formal semantics
databases
high robustness
image processing
relational databases
data model
conceptual model
conceptual graphs
specification language