An Algebraic Model of Correctness for Superscalar Microprocessors.

Anthony C. J. Fox, Neal A. Harman

Browse the full FMCAD paper archive.