Pages that link to "Item:Q4460719"
From MaRDI portal
The following pages link to CPS transformation of flow information (Q4460719):
Displaying 10 items.
- CPS transformation of beta-redexes (Q1041755) (← links)
- A first-order one-pass CPS transformation (Q1884883) (← links)
- Graded Brauer groups of a groupoid with involution (Q2253119) (← links)
- On groupoids with involutions and their cohomology (Q2439657) (← links)
- On static and dynamic control-flow information in program analysis and transformation (Q2763536) (← links)
- Twists over étale groupoids and twisted vector bundles (Q2814399) (← links)
- CPS transformation of flow information, Part II: administrative reductions (Q4460720) (← links)
- (Q4738220) (← links)
- A Simple CPS Transformation of Control-Flow Information (Q4795879) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)