IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 57
Titolo Data di pubblicazione Autore(i) File
Correct Answers for First Order Logic 2000 Amato, Gianluca
Abstract Interpretation Based Semantics of Sequent Calculi 2000 Amato, Gianluca; Giorgio, Levi
Correct Answers for First Order Logic 2001 Amato, Gianluca
Abstract Compilation for Sharing Analysis 2001 Amato, Gianluca; Fausto, Spoto
Indexed Categories and Bottom-Up Semantics of Logic Programs 2001 Amato, Gianluca; James, Lipton
Sequent Calculi and Indexed Categories as a Foundation for Logic Programming. PhD Thesis, Dipartimento di Informatica 2001 Amato, Gianluca
Optimality in goal-dependent Analysis of Sharing 2002 Amato, Gianluca; Scozzari, Francesca
Optimality in goal-dependent Analysis of Sharing 2002 Amato, Gianluca; Scozzari, Francesca
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
On abstract unification for variable aliasing 2005 Amato, Gianluca; Scozzari, Francesca
Optimality in goal-dependent Analysis of Sharing (full version) 2005 Amato, Gianluca; Scozzari, Francesca
Modeling Web Applications by the Multiple Levels of Integrity Policy 2006 Amato, Gianluca; Massimo, Coppola; Stefania, Gnesi; Scozzari, Francesca; Laura, Semini
Observational Completeness on Abstract Interpretation 2009 Amato, Gianluca; Scozzari, Francesca
On the algebraic structure of declarative programming language 2009 Amato, Gianluca; James, Lipton; Robert, Mcgrail
Optimality in goal-dependent analysis of Sharing 2009 Amato, Gianluca; Scozzari, Francesca
On the interaction between sharing and linearity 2010 Amato, Gianluca; Scozzari, Francesca
Deriving numerical abstract domains via Principal Component Analysis 2010 Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
A tool which mines partial execution traces to improve static analysis 2010 Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
Observational Completeness on Abstract Interpretation 2011 Amato, Gianluca; Scozzari, Francesca
Mostrati risultati da 1 a 20 di 57
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile