Pages that link to "Item:Q1605184"
From MaRDI portal
The following pages link to Soundness of data refinement for a higher-order imperative language (Q1605184):
Displaying 5 items.
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- State-level and value-level simulations in data refinement (Q1607097) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
