Number of items: 4.
Rosemann, Julian and Schneider, Sigurd and Hack, Sebastian
(2017)
Verified Spilling and Translation Validation with Repair.
Schneider, Sigurd and Smolka, Gert and Hack, Sebastian
(2016)
An Inductive Proof Method for Simulation-based Compiler Correctness.
CoRR, abs/16.
Schneider, Sigurd and Smolka, Gert and Hack, Sebastian
(2015)
A Linear First-Order Functional Intermediate Language for Verified Compilers.
Schneider, Sigurd and Smolka, Gert and Hack, Sebastian
(2015)
A First-Order Functional Intermediate Language for Verified Compilers.
CoRR, abs/15.
This list was generated on Wed Oct 9 20:57:23 2024 CEST.