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 4 items.
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Programming from Galois connections (Q1931902) (← links)
- A linear algebra approach to OLAP (Q2355381) (← links)
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141) (← links)