Pages that link to "Item:Q1095636"
From MaRDI portal
The following pages link to Two-level semantics and code generation (Q1095636):
Displaying 12 items.
- Synthesizable high level hardware descriptions (Q609757) (← links)
- Two-level semantics and abstract interpretation (Q911319) (← links)
- MetaML and multi-stage programming with explicit annotations (Q1583363) (← links)
- Static consistency checking for Verilog wire interconnects (Q1929355) (← links)
- Action Algebras and Model Algebras in Denotational Semantics (Q3184749) (← links)
- Representing Control: a Study of the CPS Transformation (Q4279251) (← links)
- From operational semantics to abstract machines (Q4279254) (← links)
- Representing Control: a Study of the CPS Transformation (Q4493071) (← links)
- Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis<sup>†</sup> (Q4880526) (← links)
- Using transformations in the implementation of higher-order functions (Q4939691) (← links)
- Semantics-directed program analysis: A tool-maker's perspective (Q5030183) (← links)
- On the transformation between direct and continuation semantics (Q5890072) (← links)
