Soundness of Data Flow Analyses for Weak Memory Models
Jade Alglave‚ Daniel Kroening‚ John Lugton‚ Vincent Nimal and Michael Tautschnig
Details
| 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 |
Links
Related pages
|
People |