CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 111
Titolo Data di pubblicazione Autore(i) File
Modeling Prolog Control 1-gen-1992 Roberto, Barbuti; Michael, Codish; Giacobazzi, Roberto; Giorgio, Levi
Detecting Determinate Computations by a Bottom-up Abstract Interpretation 1-gen-1992 Giacobazzi, Roberto; L., Ricci
Oracle Semantics for Prolog 1-gen-1992 Roberto, Barbuti; Michael, Codish; Giacobazzi, Roberto; Michael J., Maher
A Bottom-Up Polymorphic Type Inference in Logic Programming 1-gen-1992 Roberto, Barbuti; Giacobazzi, Roberto
A Generalized Semantics for Constraint Logic Programs 1-gen-1992 Giacobazzi, Roberto; Saumya K., Debray; Giorgio, Levi
Modelling Prolog Control 1-gen-1993 Roberto, Barbuti; Michael, Codish; Giacobazzi, Roberto; Giorgio, Levi
Compositional Analysis of Modular Logic Programs 1-gen-1993 Michael, Codish; Saumya K., Debray; Giacobazzi, Roberto
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 1-gen-1993 Roberto, Barbuti; Giacobazzi, Roberto; Giorgio, Levi
An Application of Constraint Propagation to Data-Flow Analysis 1-gen-1993 Roberto, Bagnara; Giacobazzi, Roberto; Giorgio, Levi
Abstracting Synchronization in Concurrent Constraint Programming 1-gen-1994 Enea, Zaffanella; Giacobazzi, Roberto; Giorgio, Levi
Abductive Analysis of Modular Logic Programs 1-gen-1994 Giacobazzi, Roberto
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics 1-gen-1995 Giacobazzi, Roberto; Francesco, Ranzato
Oracle Semantics for Prolog 1-gen-1995 Roberto, Barbuti; Michael, Codish; Giacobazzi, Roberto; Michael J., Maher
Complementation in Abstract Interpretation 1-gen-1995 Agostino, Cortesi; Gilberto, Filé; Giacobazzi, Roberto; Catuscia, Palamidessi; Francesco, Ranzato
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs 1-gen-1995 Giacobazzi, Roberto; Saumya K., Debray; Giorgio, Levi
Compositional Optimization of Disjunctive Abstract Interpretations 1-gen-1996 Giacobazzi, Roberto; Francesco, Ranzato
Weak Relative Pseudo-Complements of Closure Operators 1-gen-1996 Giacobazzi, Roberto; C., Palamidessi; F., Ranzato
A Unifying View of Abstract Domain Design 1-gen-1996 Gilberto, Filé; Giacobazzi, Roberto; Francesco, Ranzato
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics 1-gen-1996 Giacobazzi, Roberto
Complementing Logic Program Semantics 1-gen-1996 Giacobazzi, Roberto; Francesco, Ranzato
Mostrati risultati da 1 a 20 di 111
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