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