Verified Compiler Technology and Separation Logic for Reasoning about Concurrent C Programs

Submitted by Katie Dey on Tue, 05/10/2011 - 9:00am. Contributor:
Switch to experimental viewer

Verified Compiler Technology and Separation Logic for Reasoning about Concurrent C Programs
Contributor(s): 
Andrew W. Appel