Pages that link to "Item:Q2432239"
From MaRDI portal
The following pages link to Procedure compilation in the refinement calculus (Q2432239):
Displaying 5 items.
- A theoretical basis for stepwise refinement and the programming calculus (Q578892) (← links)
- An inconsistency in procedures, parameters, and substitution in the refinement calculus (Q1818306) (← links)
- Compiler Construction (Q5309682) (← links)
- Interfaces for refining recursion and procedures (Q5944219) (← links)
- Correctness of procedure representations in higher-order assembly language (Q6116577) (← links)