Giorgio Levi

Publication Activity (10 Years)

Years Active: 1970-2011
Publications (10 Years): 0

Publications

Letterio Galletta, Giorgio Levi
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language WWV (2011)
Roberta Gori, Giorgio Levi
On the verification of finite failure. J. Comput. Syst. Sci. 71 (4) (2005)
Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
Abstract interpretation based verification of logic programs. Sci. Comput. Program. 49 (1-3) (2003)
Roberta Gori, Giorgio Levi
Properties of a Type Abstract Interpreter. VMCAI (2003)
Giorgio Levi, Fausto Spoto
Pair-independence and freeness analysis through linear refinement. Inf. Comput. 182 (1) (2003)
Roberta Gori, Giorgio Levi
An Experiment in Type Inference and Verification by Abstract Interpretation. VMCAI (2002)
Marco Comini, Roberta Gori, Giorgio Levi
Logic programs as specifications in the inductive verification of logic programs. APPIA-GULP-PRODE 48 (2001)
Giorgio Levi
Preface. Sci. Comput. Program. 39 (1) (2001)
Marco Comini, Giorgio Levi, Maria Chiara Meo
A Theory of Observables for Logic Programs. Inf. Comput. 169 (1) (2001)
Marco Comini, Roberta Gori, Giorgio Levi
How to Transform an Analyzer into a Verifier. LPAR (2001)
Marco Comini, Roberta Gori, Giorgio Levi
How to transform an analyzer into a verifier. APPIA-GULP-PRODE (2001)
Marco Comini, Roberta Gori, Giorgio Levi
Assertion based Inductive Verification Methods for Logic Programs. Electron. Notes Theor. Comput. Sci. 40 (2000)
Giorgio Levi, Fausto Spoto
Non Pair-Sharing and Freeness Analysis Through Linear Refinement. PEPM (2000)
Gianluca Amato, Giorgio Levi
Abstract Interpretation Based Semantics of Sequent Calculi. SAS (2000)
Giorgio Levi
Abstract Interpretation Based Verification of Logic Programs. Electron. Notes Theor. Comput. Sci. 40 (2000)
Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
Abstract Interpretation based Verification of Logic Programs. Electron. Notes Theor. Comput. Sci. 30 (1) (1999)
Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
Abstract Diagnosis. J. Log. Program. 39 (1-3) (1999)
Roberta Gori, Giorgio Levi
On the Verification of Finite Failure. PPDP (1999)
Roberta Gori, Giorgio Levi
On the verification of finite failure. APPIA-GULP-PRODE (1999)
Giorgio Levi, Paolo Volpe
Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP (1998)
Giorgio Levi, W. Volpi
Set Based-Analysis of Logic Programs via Abstract Interpretation. APPIA-GULP-PRODE (1998)
Giorgio Levi, Paolo Volpe
Derivation of Proof Methods by Abstract Interpretation. APPIA-GULP-PRODE (1998)
Marco Comini, Giorgio Levi, Giuliana Vitiello
Modular Abstract Diagnosis. APPIA-GULP-PRODE (1998)
Giorgio Levi, Fausto Spoto
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP (1998)
Fausto Spoto, Giorgio Levi
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. APPIA-GULP-PRODE (1998)
Fausto Spoto, Giorgio Levi
Abstract Interpretation of Prolog Programs. AMAST (1998)
Fausto Spoto, Giorgio Levi
A Denotational Semantics for Prolog. APPIA-GULP-PRODE (1997)
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
Abstracting Synchronization in Concurrent Constraint Programming. J. Funct. Log. Program. 1997 (6) (1997)
Roberta Gori, Giorgio Levi
Finite Failure is And-Compositional. J. Log. Comput. 7 (6) (1997)
Gianluca Amato, Giorgio Levi
Properties of the Lattice of Observables in Logic Programming. APPIA-GULP-PRODE (1997)
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Resultants Semantics for Prolog. J. Log. Comput. 6 (4) (1996)
Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS (1996)
Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Differential Logic Programs: Programming Methodologies and Semantics. Sci. Comput. Program. 27 (3) (1996)
Giorgio Levi, Fausto Spoto
Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE (1996)
Marco Comini, Giorgio Levi, Giuliana Vitiello
Declarative Diagnosis Revisited. GULP-PRODE (1995)
María Alpuente, Moreno Falaschi, Giorgio Levi
Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. 142 (1) (1995)
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Observable Behaviors and Equivalences of Logic Programs Inf. Comput. 122 (1) (1995)
Giorgio Levi, Francesca Scozzari
Contributions to a Theory of Existential Termination for Definite Logic Programs. GULP-PRODE (1995)
Giorgio Levi, Daniele Micciancio
Analysis of Pure PROLOG Programs. GULP-PRODE (1995)
Marco Comini, Giorgio Levi, Giuliana Vitiello
Declarative Diagnosis Revisited. ILPS (1995)
Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi
Observable Semantics for Constraint Logic Programs. J. Log. Comput. 5 (2) (1995)
Giorgio Levi, Marco Comini, Giuliana Vitiello
On the Abstract Diagnosis of Logic Programs. GULP-PRODE (1995)
Marco Comini, Giorgio Levi, Maria Chiara Meo
Compositionality in SLD-Derivations and their Abstractions. ILPS (1995)
Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. J. Log. Program. 25 (3) (1995)
Marco Comini, Giorgio Levi, Giuliana Vitiello
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. AADEBUG (1995)
Marco Comini, Giorgio Levi, Maria Chiara Meo
Compositionality in SLD-derivations and their Abstractions. GULP-PRODE (1995)
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
Compilative Constructive Negation in Constraint Logic Programs. CAAP (1994)
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
A Compositional Semantics for Logic Programs. Theor. Comput. Sci. 122 (1&2) (1994)
Marco Comini, Giorgio Levi
An Algebraic Theory of Observables. GULP-PRODE (1) (1994)
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
Abstracting Synchronization in Concurrent Constraint Programming. PLILP (1994)
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
The s-Semantics Approach: Theory and Applications. J. Log. Program. (1994)
Marco Comini, Giorgio Levi
An Algebraic Theory of Observables. ILPS (1994)
Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi
Abstracting Synchronization in Concurrent Constraint Programming. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Marco Comini, Giorgio Levi, Giuliana Vitiello
Abstract Debugging of Logic Program. META (1994)
Roberta Gori, Giorgio Levi
Finite Failure is AND-Compositional. GULP-PRODE (1) (1994)
Alberto Bottoni, Giorgio Levi
Computing in the Completion. GULP (1993)
Alberto Bottoni, Giorgio Levi
The Inverse of Fitting's Functional. Kurt Gödel Colloquium (1993)
Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. 15 (1) (1993)
Alessio Guglielmi, Giorgio Levi
Chemical Logic Programming? GULP (1993)
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
Intensional Negation in Constraint Logic Programs. GULP (1993)
Yaoqing Gao, Dingxing Wang, Weimin Zheng, Meiming Shen, Zhiyi Huang, Shouren Hu, Giorgio Levi
Parallel execution of prolog on shared-memory multiprocessors. J. Comput. Sci. Technol. 8 (4) (1993)
Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi
Chemical Logic Programming? ICLP Workshop on Blackboard-Based Logic Programming (1993)
Giorgio Levi, Davide Ramundo
A Formalization of Metaprogramming for real. ICLP (1993)
Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray
Joining Abstract and Concrete Computations in Constraint Logic Programming. AMAST (1993)
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs Inf. Comput. 103 (1) (1993)
Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Differential Logic Programming. POPL (1993)
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
Modelling Prolog Control. J. Log. Comput. 3 (6) (1993)
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Observational Equivalences for Logic Programs. JICSLP (1992)
Maurizio Gabbrielli, Giorgio Levi, Daniele Turi
A Two Steps Semantics for Logic Programs with Negation. LPAR (1992)
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Contributions to the Semantics of Open Logic Programs. FGCS (1992)
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
Modeling Prolog Control. POPL (1992)
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
Static Analysis of CLP Programs over Numeric Domains. WSA (1992)
Maurizio Gabbrielli, Giorgio Levi
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. Theor. Comput. Sci. 105 (1) (1992)
Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
New Semantic Tools for Logic Programming. REX Workshop (1992)
Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi
A Generalized Semantics for Constraint Logic Programs. FGCS (1992)
Maurizio Gabbrielli, Giorgio Levi
On the Semantics of Logic Programs. ICALP (1991)
Maurizio Gabbrielli, Giorgio Levi
A Solved Form Algorithm for Ask and Tell Herbrand Constraints. TAPSOFT, Vol.1 (1991)
Maurizio Gabbrielli, Giorgio Levi
Modeling Answer Constraints in Constraint Logic Programs. ICLP (1991)
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
Modelling Prolog Control. JTASPEFT/WSA (1991)
Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
Kernel-LEAF: A Logic plus Functional Language. J. Comput. Syst. Sci. 42 (2) (1991)
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs (1991)
Giorgio Levi
On the Semantics of Logic Programs. ICLP (1991)
Maurizio Gabbrielli, Giorgio Levi
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. ALP (1990)
Giorgio Levi
A Unified Approach to Logic Programs Semantics based on Constraints. SPLT (1990)
Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
Failure and Success made Symmetric. NACLP (1990)
Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami
Nested Guarded Horn Clauses. Int. J. Found. Comput. Sci. 1 (3) (1990)
Moreno Falaschi, Giorgio Levi
Finite Failures and Partial Computations in Concurrent Logic Languages. Theor. Comput. Sci. 75 (1&2) (1990)
Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli
Declarative Modeling of the Operational Behavior of Logic Languages. Theor. Comput. Sci. 69 (3) (1989)
Giorgio Levi, Catuscia Palamidessi
Contributions to the Semantics of Logic Perpetual Processes. Acta Informatica 25 (6) (1988)
Moreno Falaschi, Giorgio Levi
Finite Failures and Partial Computations in Concurrent Logic Languages. FGCS (1988)
Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre
Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. ICLP/SLP (1988)
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
A New Declarative Semantics for Logic Languages. ICLP/SLP (1988)
Giorgio Levi
Models, Unfolding Rules and Fixpoint Semantics. ICLP/SLP (1988)
Giorgio Levi, Giuseppe Sardu
Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language. New Gener. Comput. 6 (2&3) (1988)
Giorgio Levi, Catuscia Palamidessi
An Approach to the Declarative Semantics of Synchronization in Logic Languages. ICLP (1987)
Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. SLP (1987)
Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
A Two-Level Approach to Logic plus Functional Programming Integration. PARLE (1) (1987)
Marco Bellia, Giorgio Levi
The Relation between Logic and Functional Languages: A Survey. J. Log. Program. 3 (3) (1986)
Giorgio Levi
One, None, A Hundred Thousand Specification Languages - Response. IFIP Congress (1986)
Giorgio Levi, Catuscia Palamidessi
The Declarative Semantics of Logical Read-Only Variables. SLP (1985)

Giorgio Levi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Giorgio Levi