Francesca Scozzari

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The role of linearity in sharing analysis Mathematical Structures in Computer Science	2022-12-09	Paper
On collecting semantics for program analysis Theoretical Computer Science	2020-05-23	Paper
Narrowing operators on template abstract domains FM 2015: Formal Methods	2019-12-19	Paper
Descending chains and narrowing on template abstract domains Acta Informatica	2018-09-06	Paper
Making abstract domains condensing ACM Transactions on Computational Logic	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 Electronic Notes in Theoretical Computer Science	2014-07-22	Paper
Optimal multibinding unification for sharing and linearity analysis Theory and Practice of Logic Programming	2014-05-30	Paper
Discovering invariants via simple component analysis Journal of Symbolic Computation	2012-07-13	Paper
Observational completeness on abstract interpretation Fundamenta Informaticae	2011-11-22	Paper
A general framework for variable aliasing: towards optimal operators for sharing properties Logic Based Program Synthesis and Transformation	2011-03-04	Paper
Deriving numerical abstract domains via principal component analysis Static Analysis	2010-10-01	Paper
On the interaction between sharing and linearity Theory and Practice of Logic Programming	2010-01-28	Paper
Optimality in goal-dependent analysis of Sharing Theory and Practice of Logic Programming	2009-10-12	Paper
Observational Completeness on Abstract Interpretation Logic, Language, Information and Computation	2009-07-02	Paper
Making abstract interpretations complete Journal of the ACM	2008-05-05	Paper
scientific article; zbMATH DE number 1846959 (Why is no real title available?)	2002-12-17	Paper
Logical optimality of groundness analysis Theoretical Computer Science	2002-07-15	Paper
scientific article; zbMATH DE number 1617334 (Why is no real title available?)	2001-07-11	Paper
scientific article; zbMATH DE number 1222407 (Why is no real title available?)	1998-11-11	Paper

Research outcomes over time

This page was built for person: Francesca Scozzari