CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 87
Titolo Data di pubblicazione Autore(i) File
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 1-gen-1998 G., Levi; Spoto, Nicola Fausto
Abstract Interpretation of Prolog Programs 1-gen-1999 Spoto, Nicola Fausto; G., Levi
Freeness Analysis through Linear Refinement 1-gen-1999 P. M., Hill; Spoto, Nicola Fausto
Operational and Goal-Independent Denotational Semantics for Prolog with Cut 1-gen-2000 Spoto, Nicola Fausto
Analysis of Downward Closed Properties of Logic Programs 1-gen-2000 P. M., Hill; Spoto, Nicola Fausto
Non Pair-Sharing and Freeness Analysis through Linear Refinement 1-gen-2000 G., Levi; Spoto, Nicola Fausto
Class Analysis of Object-Oriented Programs through Abstract Interpretation 1-gen-2001 Thomas, Jensen; Spoto, Nicola Fausto
Abstract Compilation for Sharing Analysis 1-gen-2001 Gianluca, Amato; Spoto, Nicola Fausto
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses 1-gen-2001 Spoto, Nicola Fausto
Generalising Def and Pos to Type Analysis 1-gen-2002 P. M., Hill; Spoto, Nicola Fausto
A Foundation of Escape Analysis 1-gen-2002 P. M., Hill; Spoto, Nicola Fausto
A Refinement of the Escape Property 1-gen-2002 P. M., Hill; Spoto, Nicola Fausto
Algebraic Methods in Language Processing, AMiLP 2003 1-gen-2003 Spoto, Nicola Fausto; Scollo, Giuseppe; A., Nijholt
Static Analysis for JML's assignable Clauses 1-gen-2003 Spoto, Nicola Fausto; E., Poll
Class Analyses as Abstract Interpretations of Trace Semantics 1-gen-2003 Spoto, Nicola Fausto; T., Jensen
Logic Programs as Compact Denotations 1-gen-2003 P. M., Hill; Spoto, Nicola Fausto
Logic Programs as Compact Denotations 1-gen-2003 P. M., Hill; Spoto, Nicola Fausto
Pair-Independence and Freeness Analysis through Linear Refinement 1-gen-2003 G., Levi; Spoto, Nicola Fausto
First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode'05) 1-gen-2005 Spoto, Nicola Fausto
Julia: A Generic Static Analyser for the Java Bytecode 1-gen-2005 Spoto, Nicola Fausto
Mostrati risultati da 1 a 20 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