Verified Compilation for Shared-Memory C.

Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel

Browse the full ESOP paper archive.