Soundness of Data Flow Analyses for Weak Memory Models
Jade Alglave‚ Daniel Kroening‚ John Lugton‚ Vincent Nimal and Michael Tautschnig
Book Title
Proceedings of Programming Languages and Systems − 9th Asian Symposium (APLAS 2011)
ISBN
978−3−642−25317−1
Month
dec
Pages
272−288
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7078
Year
2011