The following pages link to Sebastian Hack (Q844181):
Displaying 9 items.
- Optimal register allocation for SSA-form programs in polynomial time (Q844183) (← links)
- Verified spilling and translation validation with repair (Q1687761) (← links)
- A Linear First-Order Functional Intermediate Language for Verified Compilers (Q2945646) (← links)
- (Q3092707) (← links)
- GrGen: A Fast SPO-Based Graph Rewriting Tool (Q3541976) (← links)
- Übersetzerbau (Q3630269) (← links)
- Übersetzerbau (Q5851419) (← links)
- Compiler Design (Q5892586) (← links)
- Compiler Design (Q5894115) (← links)