Pages that link to "Item:Q1974452"
From MaRDI portal
The following pages link to Certifying compilation and run-time code generation (Q1974452):
Displaying 6 items.
- Certifying assembly programs with trails (Q352100) (← links)
- Statically safe program generation with SafeGen (Q532402) (← links)
- Certifying compilers using higher-order theorem provers as certificate checkers (Q633302) (← links)
- \textsc{Mnemonics}: type-safe bytecode generation at run time (Q656864) (← links)
- Symbolic transfer function-based approaches to certified compilation (Q3452245) (← links)
- Certificate Translation for Optimizing Compilers (Q3613391) (← links)