Pages that link to "Item:Q5408396"
From MaRDI portal
The following pages link to A galois connection calculus for abstract interpretation (Q5408396):
Displaying 4 items.
- Property preserving abstractions for the verification of concurrent systems (Q1346649) (← links)
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617) (← links)
- Galois Connections for Recursive Types (Q3297839) (← links)
- Constructive Galois Connections (Q4972068) (← links)