A Precise and Abstract Memory Model for C Using Symbolic Values.

Frdric Besson, Sandrine Blazy, Pierre Wilke

Browse the full APLAS paper archive.