Modular, Correct Compilation with Automatic Soundness Proofs.

Dominic Steinhfel, Reiner Hhnle

Browse the full ISoLA paper archive.