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