Pages that link to "Item:Q2763534"
From MaRDI portal
The following pages link to Topics in semantics-based program manipulation (Q2763534):
Displaying 4 items.
- Semantics-directed compilation of nonlinear patterns (Q756408) (← links)
- Automatic autoprojection of recursive equations with global variables and abstract data types (Q1183547) (← links)
- Maximally-Polyvariant Partial Evaluation in Polynomial Time (Q3179173) (← links)
- Efficient Type-Checking for Amortised Heap-Space Analysis (Q3644757) (← links)