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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gianluca Amato