Pages that link to "Item:Q1183551"
From MaRDI portal
The following pages link to Automatic autoprojection of higher order recursive equations (Q1183551):
Displaying 7 items.
- Automatic autoprojection of recursive equations with global variables and abstract data types (Q1183547) (← links)
- (Q4038656) (← links)
- Representing Control: a Study of the CPS Transformation (Q4279251) (← links)
- Representing Control: a Study of the CPS Transformation (Q4493071) (← links)
- On-line and off-line partial evaluation: semantic specifications and correctness proofs (Q4880487) (← links)
- Generating action compilers by partial evaluation (Q4895553) (← links)
- Comparing flow-based binding-time analyses (Q5096754) (← links)