Number of items: 4.
Conference or Workshop Item (A Paper)
Rosemann, Julian and Schneider, Sigurd and Hack, Sebastian
(2017)
Verified Spilling and Translation Validation with Repair.
Schneider, Sigurd and Smolka, Gert and Hack, Sebastian
(2015)
A Linear First-Order Functional Intermediate Language for Verified Compilers.
Article
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 First-Order Functional Intermediate Language for Verified Compilers.
CoRR, abs/15.
This list was generated on Mon Sep 16 20:45:28 2024 CEST.