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 Sun Dec 22 02:52:52 2024 CET.