Verified Compiler Technology and Separation Logic for Reasoning about Concurrent C Programs
Presented as part of the
2011 HCSS conference
.
License:
Creative Commons 2.5
Andrew W. Appel
Other available formats:
Verified Compiler Technology and Separation Logic for Reasoning about Concurrent C Programs
Switch to normal viewer
Switch to experimental viewer
