Gianluca Amato

Available identifiers

zbMath Open amato.gianlucaMaRDI QIDQ281280

List of research outcomes

Publication	Date of Publication	Type
The role of linearity in sharing analysis	2022-12-09	Paper
Experimental evaluation of numerical domains for inferring ranges	2022-04-25	Paper
On collecting semantics for program analysis	2020-05-23	Paper
Narrowing Operators on Template Abstract Domains	2019-12-19	Paper
Primitive abundant and weird numbers with many prime factors	2019-05-16	Paper
Descending chains and narrowing on template abstract domains	2018-09-06	Paper
Primitive weird numbers having more than three distinct prime factors	2017-08-16	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
Correct Answers for First Order Logic	2013-05-24	Paper
Discovering invariants via simple component analysis	2012-07-13	Paper
Observational Completeness on Abstract Interpretation	2011-11-22	Paper
Indexed Categories and Bottom-Up Semantics of Logic Programs	2011-05-06	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
On the algebraic structure of declarative programming languages	2009-11-04	Paper
Optimality in goal-dependent analysis of Sharing	2009-10-12	Paper
Observational Completeness on Abstract Interpretation	2009-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q2763646	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2722047	2001-07-11	Paper
Universal Algebra in UniMath	N/A	Paper

Research outcomes over time

This page was built for person: Gianluca Amato