A Machine-Verified Code Generator.

Christoph Walther, Stephan Schweitzer

Browse the full LPAR paper archive.