Inferring Fences in a Concurrent Program Using SC proof of Correctness

Chinmay Narayan Shibashis Guha S. Arun-Kumar

Published in: CoRR (2013)

Keyphrases

concurrent programs
concurrent execution
provably correct
databases
information retrieval
expert systems
programming environment
mathematical proofs
database
program synthesis
linear logic
computer programs
high level
case study
information systems
computer vision
data sets