Pages that link to "Item:Q1881270"
From MaRDI portal
The following pages link to Safety of abstract interpretations for free, via logical relations and Galois connections (Q1881270):
Displaying 9 items.
- Regular algebra applied to language problems (Q817577) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- Programming from Galois connections (Q1931902) (← links)
- On collecting semantics for program analysis (Q2182314) (← links)
- A linear algebra approach to OLAP (Q2355381) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- Domains for Higher-Order Games (Q5111275) (← links)
- Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) (← links)
