Sfoglia per Autore
Pair-Sharing Analysis of Object-Oriented Programs
2005-01-01 S., Secci; Spoto, Nicola Fausto
Information Flow is Linear Refinement of Constancy
2005-01-01 Spoto, Nicola Fausto
Information Flow Analysis for Java Bytecode
2005-01-01 Genaim, Samir; Spoto, Nicola Fausto
Path-Length Analysis for Object-Oriented Programs
2006-01-01 Spoto, Nicola Fausto; P. M., Hill; É., Payet
Deriving Escape Analysis by Abstract Interpretation
2006-01-01 P. M., Hill; Spoto, Nicola Fausto
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions
2006-01-01 Stefano, Rossignoli; Spoto, Nicola Fausto
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007)
2007-01-01 M., Huisman; Spoto, Nicola Fausto
Optimality and Condensing of Information Flow through Linear Refinement
2007-01-01 Spoto, Nicola Fausto
Magic-Sets Transformation for the Analysis of Java Bytecode
2007-01-01 E., Payet; Spoto, Nicola Fausto
Constancy Analysis
2008-01-01 G., Samir; Spoto, Nicola Fausto
Special track on Software Verification
2008-01-01 Spoto, Nicola Fausto
Nullness Analysis in Boolean Form
2008-01-01 Spoto, Nicola Fausto
Experiments with Non-Termination Analysis for Java Bytecode
2009-01-01 E., Payet; Spoto, Nicola Fausto
Using CLP Simplifications to Improve Java Bytecode Termination Analysis
2009-01-01 Spoto, Nicola Fausto; L., Lu; F., Mesnard
Magic-sets for localised analysis of Java bytecode
2010-01-01 Spoto, Nicola Fausto; Payet, É.
The Nullness Analyser of Julia
2010-01-01 Spoto, Nicola Fausto
A Termination Analyzer for Java Bytecode based on Path-Length
2010-01-01 Spoto, Nicola Fausto; F., Mesnard; E., Payet
Precise Null-Pointer Analysis
2011-01-01 Spoto, Nicola Fausto
Inference of Field Initialization
2011-01-01 Spoto, Nicola Fausto; Ernst, M.
Static Analysis of Android Programs
2011-01-01 Spoto, Nicola Fausto; Payet, E.
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