A Program Logic for C11 Memory Fences.

Marko Doko Viktor Vafeiadis

Published in: VMCAI (2016)

Keyphrases

computer programs
declarative semantics
logic programming
main memory
memory usage
databases
random access memory
modal logic
deductive databases
multi valued
programming course
memory size
recursive programs
proof theory
program synthesis
test cases
data structure
genetic algorithm