Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.

Published in: TAP (2008)

Keyphrases

static analysis
abstract interpretation
building blocks
process model
modeling language
case study
high level
data model
business process