LEVI, GIORGIO Statistiche
LEVI, GIORGIO
DIPARTIMENTO DI INFORMATICA
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
2011-01-01 Galletta, Letterio; Levi, Giorgio
On the verification of Finite Failure
2005-01-01 Gori, Roberta; Levi, Giorgio
Abstract Interpretation based Verification of Logic Programs
2003-01-01 Comini, M.; Gori, Roberta; Levi, Giorgio; Volpe, P.
Pair-Independence and Freeness Analysis through Linear Refinement
2003-01-01 Levi, Giorgio; Spoto, F.
An experiment in type inference and verification by abstract interpretation
2002-01-01 Gori, Roberta; Levi, Giorgio
Properties of a type abstract interpreter
2002-01-01 Gori, Roberta; Levi, Giorgio
A Theory of Observables for Logic Programs
2001-01-01 Comini, M.; Levi, Giorgio; Meo, M. C.
Abstract Diagnosis
1999-01-01 Comini, M.; Levi, Giorgio; Meo, M. C.; Vitiello, G.
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs
1995-01-01 Giacobazzi, R.; Debray, K. R.; Levi, Giorgio
Observable Behaviors and Equivalences of Logic Programs
1995-01-01 Gabbrielli, M.; Levi, Giorgio; Meo, M. C.
Compilative Constructive Negation in Constraint Logic Programs.
1994-01-01 Bruscoli, P; Levi, Francesca; Levi, Giorgio; Meo, M. C.
The s-semantics approach: Theory and applications
1994-01-01 Bossi, A.; Gabbrielli, M.; Levi, Giorgio; Martelli, M.
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs
1993-01-01 Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio
Modelling Prolog Control
1993-01-01 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Levi, Giorgio
Modeling Prolog Control
1992-01-01 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
Modelling Prolog Control
1991-01-01 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT, PISA, MARCH 1987
1988-01-01 Levi, Giorgio; Montanari, UGO GIOVANNI ERASMO
A Two-Level Approach to Logic plus Functional Programming Integration
1987-01-01 Bellia, Marco; Bosco, Giovanni; Giovannetti, E.; Levi, Giorgio; Moiso, C.; Palamidessi, C.
Principi e Tecniche di Progettazione del Software
1987-01-01 Barbuti, Roberto; Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio
LEAF: A Language which Integrates Logic, Equations and Functions
1986-01-01 Barbuti, Roberto; Bellia, Marco; Levi, Giorgio; Martelli, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language | 1-gen-2011 | Galletta, Letterio; Levi, Giorgio | |
| On the verification of Finite Failure | 1-gen-2005 | Gori, Roberta; Levi, Giorgio | |
| Abstract Interpretation based Verification of Logic Programs | 1-gen-2003 | Comini, M.; Gori, Roberta; Levi, Giorgio; Volpe, P. | |
| Pair-Independence and Freeness Analysis through Linear Refinement | 1-gen-2003 | Levi, Giorgio; Spoto, F. | |
| An experiment in type inference and verification by abstract interpretation | 1-gen-2002 | Gori, Roberta; Levi, Giorgio | |
| Properties of a type abstract interpreter | 1-gen-2002 | Gori, Roberta; Levi, Giorgio | |
| A Theory of Observables for Logic Programs | 1-gen-2001 | Comini, M.; Levi, Giorgio; Meo, M. C. | |
| Abstract Diagnosis | 1-gen-1999 | Comini, M.; Levi, Giorgio; Meo, M. C.; Vitiello, G. | |
| Generalized Semantics and Abstract Interpretation for Constraint Logic Programs | 1-gen-1995 | Giacobazzi, R.; Debray, K. R.; Levi, Giorgio | |
| Observable Behaviors and Equivalences of Logic Programs | 1-gen-1995 | Gabbrielli, M.; Levi, Giorgio; Meo, M. C. | |
| Compilative Constructive Negation in Constraint Logic Programs. | 1-gen-1994 | Bruscoli, P; Levi, Francesca; Levi, Giorgio; Meo, M. C. | |
| The s-semantics approach: Theory and applications | 1-gen-1994 | Bossi, A.; Gabbrielli, M.; Levi, Giorgio; Martelli, M. | |
| A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs | 1-gen-1993 | Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio | |
| Modelling Prolog Control | 1-gen-1993 | Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Levi, Giorgio | |
| Modeling Prolog Control | 1-gen-1992 | Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio | |
| Modelling Prolog Control | 1-gen-1991 | Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio | |
| INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT, PISA, MARCH 1987 | 1-gen-1988 | Levi, Giorgio; Montanari, UGO GIOVANNI ERASMO | |
| A Two-Level Approach to Logic plus Functional Programming Integration | 1-gen-1987 | Bellia, Marco; Bosco, Giovanni; Giovannetti, E.; Levi, Giorgio; Moiso, C.; Palamidessi, C. | |
| Principi e Tecniche di Progettazione del Software | 1-gen-1987 | Barbuti, Roberto; Bellia, Marco; Degano, Pierpaolo; Levi, Giorgio | |
| LEAF: A Language which Integrates Logic, Equations and Functions | 1-gen-1986 | Barbuti, Roberto; Bellia, Marco; Levi, Giorgio; Martelli, M. |