Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory Model.

Andrew Tolmach, Chris Chhak, Sean Noble Anderson

Browse the full ITP paper archive.