Pages that link to "Item:Q859954"
From MaRDI portal
The following pages link to A calculus of logical relations for over- and underapproximating static analyses (Q859954):
Displaying 4 items.
- Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
- Abstract Interpretation from a Topological Perspective (Q3392931) (← links)
- Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946) (← links)
- Static Analysis (Q5466576) (← links)