Modeling Register Pairs in CompCert.

Alexander Loitzl, Florian Zuleger

Browse the full IFM paper archive.