Synthesis of Memory Fences via Refinement Propagation

Thumbnail
Metadata only
Author
Meshman, Yuri
Dan, Andrei M.
Vechev, Martin T.
Yahav, Eran
Show all
Date
2014
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Book title
Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014, Proceedings
Journal / series
Lecture Notes in Computer Science
Volume
8723
Pages / Article No.
237 - 252
Publisher
Springer
Event
21st International Static Analysis Symposium (SAS), Munich, Germany, September 11-13, 2014
Organisational unit
03948 - Vechev, Martin / Vechev, Martin  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics