CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

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