Soundness of Data Flow Analyses for Weak Memory Models.

Jade Alglave Daniel Kroening John Lugton Vincent Nimal Michael Tautschnig

Published in: APLAS (2011)

Keyphrases

data flow
data transfer
control flow
database
databases
digital signal processing
neural network
artificial intelligence
case study
prior knowledge
management system
object oriented
computational models
statistical tests
memory usage
database machine