Pages that link to "Item:Q1906039"
From MaRDI portal
The following pages link to Data refinement, call by value and higher order programs (Q1906039):
Displaying 6 items.
- Predicate transformers and higher-order programs (Q672318) (← links)
- Data refinement and algebraic structure (Q1567199) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- An algebraic formulation for data refinement (Q5887529) (← links)