IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 53
Titolo Data di pubblicazione Autore(i) File
Intuitionistic Implication in Abstract Interpretation 1997 Roberto, Giacobazzi; Scozzari, Francesca
Logical Optimality of Groundness Analysis 1997 Scozzari, Francesca
Intuitionistic Implication in Abstract Interpretation 1997 Roberto, Giacobazzi; Scozzari, Francesca
Building Complete Abstract Interpretations in a Linear Logic-based Setting 1998 Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca
Building complete abstract interpretations in a linear logic-based setting 1998 Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca
A logical model for relational abstract domains 1998 Roberto, Giacobazzi; Scozzari, Francesca
Complete Abstract Interpretations made Constructive 1998 Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca
Teoria dei domini nell'interpretazione astratta: equazioni, completezza, logica 2000 Scozzari, Francesca
Making Abstract Interpretations Complete 2000 Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca
Abstract domains for sharing analysis by optimal semantics 2000 Scozzari, Francesca
Optimality in goal-dependent Analysis of Sharing 2002 Amato, Gianluca; Scozzari, Francesca
Optimality in goal-dependent Analysis of Sharing 2002 Amato, Gianluca; Scozzari, Francesca
Logical optimality of groundness analysis 2002 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
Optimality in goal-dependent Analysis of Sharing (full version) 2005 Amato, Gianluca; Scozzari, Francesca
On abstract unification for variable aliasing 2005 Amato, Gianluca; Scozzari, Francesca
Making abstract domains condensing 2005 Roberto, Giacobazzi; Francesco, Ranzato; Scozzari, Francesca
Modeling Web Applications by the Multiple Levels of Integrity Policy 2006 Amato, Gianluca; Massimo, Coppola; Stefania, Gnesi; Scozzari, Francesca; Laura, Semini
Optimality in goal-dependent analysis of Sharing 2009 Amato, Gianluca; Scozzari, Francesca
Mostrati risultati da 1 a 20 di 53
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