Memory models define which executions of multithreaded programs are legal. This paper formalises in a fixpoint form the happens-before memory model, an over-approximation of the Java one, and it presents a static analysis using abstract interpretation. Our approach is completely independent of both the programming language and the analysed property. It also appears to be a promising framework to define, compare and statically analyse other memory models. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Ferrara, P. (2008). Static analysis via abstract interpretation of the happens-before memory model. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4966 LNCS, pp. 116–133). https://doi.org/10.1007/978-3-540-79124-9_9
Mendeley helps you to discover research relevant for your work.