The following pages link to Francesca Scozzari (Q281281):
Displayed 21 items.
- Efficient constraint/generator removal from double description of polyhedra (Q281283) (← links)
- Discovering invariants via simple component analysis (Q435979) (← links)
- Exploiting linearity in sharing analysis of object-oriented programs (Q737080) (← links)
- Logical optimality of groundness analysis (Q1605228) (← links)
- Descending chains and narrowing on template abstract domains (Q1671249) (← links)
- On collecting semantics for program analysis (Q2182314) (← links)
- (Q2722073) (← links)
- A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties (Q3079911) (← links)
- Optimality in goal-dependent analysis of Sharing (Q3181746) (← links)
- On the interaction between sharing and linearity (Q3400961) (← links)
- (Q4217930) (← links)
- (Q4784962) (← links)
- Deriving Numerical Abstract Domains via Principal Component Analysis (Q4930722) (← links)
- The role of linearity in sharing analysis (Q5055490) (← links)
- The Abstract Domain of Parallelotopes (Q5170166) (← links)
- Narrowing Operators on Template Abstract Domains (Q5206948) (← links)
- Making abstract domains condensing (Q5277715) (← links)
- Making abstract interpretations complete (Q5385340) (← links)
- Optimal multibinding unification for sharing and linearity analysis (Q5418949) (← links)
- Observational Completeness on Abstract Interpretation (Q5894358) (← links)
- Observational Completeness on Abstract Interpretation (Q5902155) (← links)