Francesca Scozzari

Available identifiers

Publication	Date of Publication	Type
The role of linearity in sharing analysis	2022-12-09	Paper
On collecting semantics for program analysis	2020-05-23	Paper
Narrowing Operators on Template Abstract Domains	2019-12-19	Paper
Descending chains and narrowing on template abstract domains	2018-09-06	Paper
Making abstract domains condensing	2017-07-12	Paper
Exploiting linearity in sharing analysis of object-oriented programs	2016-08-05	Paper
Efficient constraint/generator removal from double description of polyhedra	2016-05-10	Paper
The Abstract Domain of Parallelotopes	2014-07-22	Paper
Optimal multibinding unification for sharing and linearity analysis	2014-05-30	Paper
Discovering invariants via simple component analysis	2012-07-13	Paper
Observational completeness on abstract interpretation	2011-11-22	Paper
A general framework for variable aliasing: towards optimal operators for sharing properties	2011-03-04	Paper
Deriving numerical abstract domains via principal component analysis	2010-10-01	Paper
On the interaction between sharing and linearity	2010-01-28	Paper
Optimality in goal-dependent analysis of Sharing	2009-10-12	Paper
Observational Completeness on Abstract Interpretation	2009-07-02	Paper
Making abstract interpretations complete	2008-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q4784962	2002-12-17	Paper
Logical optimality of groundness analysis	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2722073	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4217930	1998-11-11	Paper

This page was built for person: Francesca Scozzari