CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
Abstract Program Slicing: From theory towards an implementation 1-gen-2010 Mastroeni, Isabella; Nikolic, Durica
A Rule-based and Imperative Language for Biochemical Modeling and Simulation 1-gen-2012 Nikolic, Durica; Zunino, R.; Priami, C.
Automaton-Based Array Initialization Analysis 1-gen-2012 Nikolic, Durica; Spoto, Nicola Fausto
Strong Preservation by Model Deformation 1-gen-2012 Giacobazzi, Roberto; Mastroeni, Isabella; Nikolic, Durica
Definite Expression Aliasing Analysis for Java Bytecode 1-gen-2012 Nikolic, Durica; Spoto, Nicola Fausto
Reachability Analysis of Program Variables 1-gen-2012 Nikolic, Durica; Spoto, Nicola Fausto
A General Framework for Constraint-Based Static Analyses of Java Bytecode Programs 1-gen-2013 Nikolic, Durica
Inferring Complete Initialization of Arrays 1-gen-2013 Nikolic, Durica; Spoto, Nicola Fausto
Reachability Analysis of Program Variables 1-gen-2013 Nikolic, Durica; Spoto, Nicola Fausto
Mostrati risultati da 1 a 9 di 9
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