Pages that link to "Item:Q1330446"
From MaRDI portal
The following pages link to An algebraic construction of predicate transformers (Q1330446):
Displayed 10 items.
- Predicate transformers and higher-order programs (Q672318) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Calculating sharp adaptation rules. (Q1607103) (← links)
- Power simulation and its relation to traces and failures refinement (Q1884900) (← links)
- Data refinement, call by value and higher order programs (Q1906039) (← links)
- Towards patterns for heaps and imperative lambdas (Q2374314) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- The algebra of multirelations (Q4925034) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)