Pages that link to "Item:Q5385595"
From MaRDI portal
The following pages link to Comparing Completeness Properties of Static Analyses and Their Logics (Q5385595):
Displaying 10 items.
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- Abstract Interpretation From a Denotational-semantics Perspective (Q2805148) (← links)
- Modelling declassification policies using abstract domain completeness (Q3103614) (← links)
- Abstract Interpretation from a Topological Perspective (Q3392931) (← links)
- Summarized Dimensions Revisited (Q5170183) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Extracting Program Logics From Abstract Interpretations Defined by Logical Relations (Q5262946) (← links)
- Internal and External Logics of Abstract Interpretations (Q5452722) (← links)
- Observational Completeness on Abstract Interpretation (Q5902155) (← links)
