Pages that link to "Item:Q4493071"
From MaRDI portal
The following pages link to Representing Control: a Study of the CPS Transformation (Q4493071):
Displaying 5 items.
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- Formal compiler construction in a logical framework (Q853741) (← links)
- On typing delimited continuations: Three new solutions to the printf problem (Q968365) (← links)
- Axioms for control operators in the CPS hierarchy (Q2464730) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)