×

zbMATH — the first resource for mathematics

Amato, Gianluca

Compute Distance To:
Author ID: amato.gianluca Recent zbMATH articles by "Amato, Gianluca"
Published as: Amato, Gianluca
External Links: ORCID
Documents Indexed: 21 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 31 times in 23 Documents Cited by Year
On the algebraic structure of declarative programming languages. Zbl 1187.68121
Amato, Gianluca; Lipton, James; McGrail, Robert
7
2009
Discovering invariants via simple component analysis. Zbl 1246.65077
Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
5
2012
Deriving numerical abstract domains via principal component analysis. Zbl 1306.68018
Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
3
2010
On the interaction between sharing and linearity. Zbl 1183.68156
Amato, Gianluca; Scozzari, Francesca
3
2010
Optimality in goal-dependent analysis of sharing. Zbl 1181.68095
Amato, Gianluca; Scozzari, Francesca
3
2009
Indexed categories and bottom-up semantics of logic programs. Zbl 1275.68042
Amato, Gianluca; Lipton, James
2
2001
Descending chains and narrowing on template abstract domains. Zbl 1398.68090
Amato, Gianluca; Di Nardo Di Maio, Simone; Meo, Maria Chiara; Scozzari, Francesca
1
2018
Primitive weird numbers having more than three distinct prime factors. Zbl 1410.11005
Amato, Gianluca; Hasler, Maximilian; Melfi, Giuseppe; Parton, Maurizio
1
2016
Efficient constraint/generator removal from double description of polyhedra. Zbl 1337.68262
Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea
1
2014
Optimal multibinding unification for sharing and linearity analysis. Zbl 1311.68041
Amato, Gianluca; Scozzari, Francesca
1
2014
The abstract domain of parallelotopes. Zbl 1294.68049
Amato, Gianluca; Scozzari, Francesca
1
2012
Observational completeness on abstract interpretation. Zbl 1234.68246
Amato, Gianluca; Scozzari, Francesca
1
2011
Abstract compilation for sharing analysis. Zbl 1037.68027
Amato, Gianluca; Spoto, Fausto
1
2001
Abstract interpretation based semantics of sequent calculi. Zbl 0966.03032
Amato, Gianluca; Levi, Giorgio
1
2000
Descending chains and narrowing on template abstract domains. Zbl 1398.68090
Amato, Gianluca; Di Nardo Di Maio, Simone; Meo, Maria Chiara; Scozzari, Francesca
1
2018
Primitive weird numbers having more than three distinct prime factors. Zbl 1410.11005
Amato, Gianluca; Hasler, Maximilian; Melfi, Giuseppe; Parton, Maurizio
1
2016
Efficient constraint/generator removal from double description of polyhedra. Zbl 1337.68262
Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea
1
2014
Optimal multibinding unification for sharing and linearity analysis. Zbl 1311.68041
Amato, Gianluca; Scozzari, Francesca
1
2014
Discovering invariants via simple component analysis. Zbl 1246.65077
Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
5
2012
The abstract domain of parallelotopes. Zbl 1294.68049
Amato, Gianluca; Scozzari, Francesca
1
2012
Observational completeness on abstract interpretation. Zbl 1234.68246
Amato, Gianluca; Scozzari, Francesca
1
2011
Deriving numerical abstract domains via principal component analysis. Zbl 1306.68018
Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
3
2010
On the interaction between sharing and linearity. Zbl 1183.68156
Amato, Gianluca; Scozzari, Francesca
3
2010
On the algebraic structure of declarative programming languages. Zbl 1187.68121
Amato, Gianluca; Lipton, James; McGrail, Robert
7
2009
Optimality in goal-dependent analysis of sharing. Zbl 1181.68095
Amato, Gianluca; Scozzari, Francesca
3
2009
Indexed categories and bottom-up semantics of logic programs. Zbl 1275.68042
Amato, Gianluca; Lipton, James
2
2001
Abstract compilation for sharing analysis. Zbl 1037.68027
Amato, Gianluca; Spoto, Fausto
1
2001
Abstract interpretation based semantics of sequent calculi. Zbl 0966.03032
Amato, Gianluca; Levi, Giorgio
1
2000

Citations by Year