Pages that link to "Item:Q5191091"
From MaRDI portal
The following pages link to Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091):
Displayed 10 items.
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Programming from metaphorisms (Q1683699) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- Programming from Galois connections (Q1931902) (← links)
- A linear algebra approach to OLAP (Q2355381) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Towards patterns for heaps and imperative lambdas (Q2374314) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)