Pages that link to "Item:Q1818325"
From MaRDI portal
The following pages link to Optimal domains for disjunctive abstract interpretation (Q1818325):
Displayed 15 items.
- Why does Astrée scale up? (Q845249) (← links)
- An efficient simulation algorithm based on abstract interpretation (Q1049401) (← links)
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- Closures on CPOs form complete lattices (Q1854300) (← links)
- The powerset operator on abstract interpretations (Q1960538) (← links)
- Correctness kernels of abstract interpretations (Q2252528) (← links)
- Weakening additivity in adjoining closures (Q2520722) (← links)
- Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
- Linear Absolute Value Relation Analysis (Q3000578) (← links)
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (Q3392932) (← links)
- Transforming Abstract Interpretations by Abstract Interpretation (Q3522058) (← links)
- Refining and compressing abstract domains (Q4572005) (← links)
- Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta. (Q4923520) (← links)
- Transfer Function Synthesis without Quantifier Elimination (Q5892491) (← links)