Verified spilling and translation validation with repair
Spilling is a mandatory translation phase in every compiler back-end. It decides whether and
where a value is stored in a register or in memory and has therefore a significant impact on …
where a value is stored in a register or in memory and has therefore a significant impact on …
A verified compiler for a linear imperative/functional intermediate language
S Schneider - 2018 - publikationen.sulb.uni-saarland.de
This thesis describes the design of the verified compiler LVC. LVC's main novelty is the way
its first-order, term-based intermediate language IL realizes the advantages of static single …
its first-order, term-based intermediate language IL realizes the advantages of static single …
[PDF][PDF] Formal Verification of Spilling Algorithms
JT Rosemann - 2017 - ps.uni-saarland.de
Spilling is an important translation phase mandatory in every compiler back-end. Spilling
translates a program with unbounded maximal live sets to a program where the variables …
translates a program with unbounded maximal live sets to a program where the variables …