AMATO, Gianluca

AMATO, Gianluca  

DIPARTIMENTO DI ECONOMIA  

Mostra records
Risultati 1 - 20 di 51 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
A general framework for variable aliasing: Towards optimal operators for sharing properties 2003 Amato, Gianluca; Scozzari, Francesca
A general framework for variable aliasing: Towards optimal operators for sharing properties 2003 Amato, Gianluca; Scozzari, Francesca
A Taxonomy of Program Analyses 2018 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
A tool which mines partial execution traces to improve static analysis 2010 Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
Abstract Compilation for Sharing Analysis 2001 Amato, Gianluca; Fausto, Spoto
Abstract Interpretation Based Semantics of Sequent Calculi 2000 Amato, Gianluca; Giorgio, Levi
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 2012 Amato, Gianluca; Scozzari, Francesca
Correct Answers for First Order Logic 2000 Amato, Gianluca
Correct Answers for First Order Logic 2001 Amato, Gianluca
Deriving numerical abstract domains via Principal Component Analysis 2010 Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
Descending chains and narrowing on template abstract domains 2018 Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca
Discovering invariants via simple component analysis 2012 Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
Efficient Constraint/Generator Removal from Double Description of Polyhedra 2014 Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea
Efficiently intertwining widening and narrowing 2016 Amato, Gianluca; Scozzari, Francesca; Seidl, Helmut; Apinis, Kalmer; Vojdani, Vesal
Experimental Evaluation of Numerical Domains for Inferring Ranges 2018 Amato, Gianluca; Rubino, Marco
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 2016 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
Indexed Categories and Bottom-Up Semantics of Logic Programs 2001 Amato, Gianluca; James, Lipton
Inferring linear invariants with parallelotopes 2017 Amato, Gianluca; Rubino, Marco; Scozzari, Francesca
Jandom: JVM based Analyzer for Numerical DOMains 2013 Amato, Gianluca; Scozzari, Francesca
JGMP: Java bindings and wrappers for the GMP library 2023 Amato, Gianluca; Scozzari, Francesca