Pages that link to "Item:Q6116577"
From MaRDI portal
The following pages link to Correctness of procedure representations in higher-order assembly language (Q6116577):
Displaying 6 items.
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- CPS transformation of beta-redexes (Q1041755) (← links)
- Static correctness of hierarchical procedures (Q1351792) (← links)
- Higher-order substitutions (Q1854398) (← links)
- A first-order one-pass CPS transformation (Q1884883) (← links)
- Syntactic theories in practice (Q2841251) (← links)