Giorgio Levi

According to our database, Giorgio Levi authored at least 106 papers between 1970 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language

Letterio Galletta, Giorgio Levi

Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011

2005

On the verification of finite failure.

Roberta Gori, Giorgio Levi

J. Comput. Syst. Sci., 2005

2003

Pair-independence and freeness analysis through linear refinement.

Giorgio Levi, Fausto Spoto

Inf. Comput., 2003

Properties of a Type Abstract Interpreter.

Roberta Gori, Giorgio Levi

Proceedings of the Verification, 2003

2002

An Experiment in Type Inference and Verification by Abstract Interpretation.

Roberta Gori, Giorgio Levi

Proceedings of the Verification, 2002

2001

Preface.

Giorgio Levi

Sci. Comput. Program., 2001

A Theory of Observables for Logic Programs.

Marco Comini, Giorgio Levi, Maria Chiara Meo

Inf. Comput., 2001

Logic programs as specifications in the inductive verification of logic programs.

Marco Comini, Roberta Gori, Giorgio Levi

Proceedings of the Declarative Programming, 2001

How to Transform an Analyzer into a Verifier.

Marco Comini, Roberta Gori, Giorgio Levi

Proceedings of the Logic for Programming, 2001

2000

Abstract Interpretation Based Verification of Logic Programs.

Giorgio Levi

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Assertion based Inductive Verification Methods for Logic Programs.

Marco Comini, Roberta Gori, Giorgio Levi

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Abstract Interpretation Based Semantics of Sequent Calculi.

Gianluca Amato, Giorgio Levi

Proceedings of the Static Analysis, 7th International Symposium, 2000

Non Pair-Sharing and Freeness Analysis Through Linear Refinement.

Giorgio Levi, Fausto Spoto

Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), 2000

1999

Abstract Interpretation based Verification of Logic Programs.

Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Abstract Diagnosis.

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello

J. Log. Program., 1999

1998

Abstract Interpretation of Prolog Programs.

Fausto Spoto, Giorgio Levi

Proceedings of the Algebraic Methodology and Software Technology, 1998

An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.

Fausto Spoto, Giorgio Levi

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

Set Based-Analysis of Logic Programs via Abstract Interpretation.

Giorgio Levi, W. Volpi

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

Derivation of Proof Methods by Abstract Interpretation.

Giorgio Levi, Paolo Volpe

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

Modular Abstract Diagnosis.

Marco Comini, Giorgio Levi, Giuliana Vitiello

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Finite Failure is And-Compositional.

Roberta Gori, Giorgio Levi

J. Log. Comput., 1997

Abstracting Synchronization in Concurrent Constraint Programming.

Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi

J. Funct. Log. Program., 1997

A Denotational Semantics for Prolog.

Fausto Spoto, Giorgio Levi

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

Properties of the Lattice of Observables in Logic Programming.

Gianluca Amato, Giorgio Levi

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Differential Logic Programs: Programming Methodologies and Semantics.

Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Sci. Comput. Program., 1996

Resultants Semantics for Prolog.

Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

J. Log. Comput., 1996

Proving Properties of Logic Programs by Abstract Diagnosis.

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Accurate Analysis of Prolog with cut.

Giorgio Levi, Fausto Spoto

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Observable Behaviors and Equivalences of Logic Programs

Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Inf. Comput., October, 1995

Incremental Constraint Satisfaction for Equational Logic Programming.

María Alpuente, Moreno Falaschi, Giorgio Levi

Theor. Comput. Sci., 1995

Observable Semantics for Constraint Logic Programs.

Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi

J. Log. Comput., 1995

Generalized Semantics and Abstract Interpretation for Constraint Logic Programs.

Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi

J. Log. Program., 1995

Declarative Diagnosis Revisited.

Marco Comini, Giorgio Levi, Giuliana Vitiello

Proceedings of the Logic Programming, 1995

Compositionality in SLD-Derivations and their Abstractions.

Marco Comini, Giorgio Levi, Maria Chiara Meo

Proceedings of the Logic Programming, 1995

Contributions to a Theory of Existential Termination for Definite Logic Programs.

Giorgio Levi, Francesca Scozzari

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Analysis of Pure PROLOG Programs.

Giorgio Levi, Daniele Micciancio

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

On the Abstract Diagnosis of Logic Programs.

Giorgio Levi, Marco Comini, Giuliana Vitiello

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.

Marco Comini, Giorgio Levi, Giuliana Vitiello

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

A Compositional Semantics for Logic Programs.

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Theor. Comput. Sci., 1994

The s-Semantics Approach: Theory and Applications.

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli

J. Log. Program., 1994

An Algebraic Theory of Observables.

Marco Comini, Giorgio Levi

Proceedings of the Logic Programming, 1994

Abstract Debugging of Logic Program.

Marco Comini, Giorgio Levi, Giuliana Vitiello

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Compilative Constructive Negation in Constraint Logic Programs.

Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo

Proceedings of the Trees in Algebra and Programming, 1994

1993

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs

Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi

Inf. Comput., March, 1993

A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.

Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi

ACM Trans. Program. Lang. Syst., 1993

Modelling Prolog Control.

Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi

J. Log. Comput., 1993

Parallel execution of prolog on shared-memory multiprocessors.

Yaoqing Gao, Dingxing Wang, Weimin Zheng, Meiming Shen, Zhiyi Huang, Shouren Hu, Giorgio Levi

J. Comput. Sci. Technol., 1993

Differential Logic Programming.

Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

The Inverse of Fitting's Functional.

Alberto Bottoni, Giorgio Levi

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

A Formalization of Metaprogramming for real.

Giorgio Levi, Davide Ramundo

Proceedings of the Logic Programming, 1993

Chemical Logic Programming?

Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi

Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993

Joining Abstract and Concrete Computations in Constraint Logic Programming.

Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

Chemical Logic Programming?

Alessio Guglielmi, Giorgio Levi

Proceedings of the 8th Italian Conference on Logic Programming, 1993

Intensional Negation in Constraint Logic Programs.

Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo

Proceedings of the 8th Italian Conference on Logic Programming, 1993

Computing in the Completion.

Alberto Bottoni, Giorgio Levi

Proceedings of the 8th Italian Conference on Logic Programming, 1993

What is Logic Programming good for in Software Engineering?

Paolo Ciancarini, Giorgio Levi

Proceedings of the Advances in Software Engineering and Knowledge Engineering, 1993

1992

Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.

Maurizio Gabbrielli, Giorgio Levi

Theor. Comput. Sci., 1992

Static Analysis of CLP Programs over Numeric Domains.

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

New Semantic Tools for Logic Programming.

Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli

Proceedings of the Sematics: Foundations and Applications, 1992

Modeling Prolog Control.

Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

A Two Steps Semantics for Logic Programs with Negation.

Maurizio Gabbrielli, Giorgio Levi, Daniele Turi

Proceedings of the Logic Programming and Automated Reasoning, 1992

Observational Equivalences for Logic Programs.

Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Proceedings of the Logic Programming, 1992

A Generalized Semantics for Constraint Logic Programs.

Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Contributions to the Semantics of Open Logic Programs.

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Kernel-LEAF: A Logic plus Functional Language.

Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi

J. Comput. Syst. Sci., 1991

A Solved Form Algorithm for Ask and Tell Herbrand Constraints.

Maurizio Gabbrielli, Giorgio Levi

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

On the Semantics of Logic Programs.

Giorgio Levi

Proceedings of the Logic Programming, 1991

Modeling Answer Constraints in Constraint Logic Programs.

Maurizio Gabbrielli, Giorgio Levi

Proceedings of the Logic Programming, 1991

An OR-Compositional Semantics for Logic Programs.

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Proceedings of the Constructing Logic Programs, 1991

On the Semantics of Logic Programs.

Maurizio Gabbrielli, Giorgio Levi

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

1990

Finite Failures and Partial Computations in Concurrent Logic Languages.

Moreno Falaschi, Giorgio Levi

Theor. Comput. Sci., 1990

Nested Guarded Horn Clauses.

Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami

Int. J. Found. Comput. Sci., 1990

Failure and Success made Symmetric.

Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

A Unified Approach to Logic Programs Semantics based on Constraints.

Giorgio Levi

Proceedings of the SPLT'90, 1990

1989

Declarative Modeling of the Operational Behavior of Logic Languages.

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli

Theor. Comput. Sci., 1989

1988

Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language.

Giorgio Levi, Giuseppe Sardu

New Gener. Comput., 1988

Contributions to the Semantics of Logic Perpetual Processes.

Giorgio Levi, Catuscia Palamidessi

Acta Informatica, 1988

Models, Unfolding Rules and Fixpoint Semantics.

Giorgio Levi

Proceedings of the Logic Programming, 1988

A New Declarative Semantics for Logic Languages.

Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi

Proceedings of the Logic Programming, 1988

Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment.

Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre

Proceedings of the Logic Programming, 1988

1987

A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.

Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

A Two-Level Approach to Logic plus Functional Programming Integration.

Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi

Proceedings of the PARLE, 1987

An Approach to the Declarative Semantics of Synchronization in Logic Languages.

Giorgio Levi, Catuscia Palamidessi

Proceedings of the Logic Programming, 1987

1986

The Relation between Logic and Functional Languages: A Survey.

Marco Bellia, Giorgio Levi

J. Log. Program., 1986

One, None, A Hundred Thousand Specification Languages - Response.

Giorgio Levi

Proceedings of the Information Processing 86, 1986

Logic Programming: The Foundations, the Approach and the Role of Concurrency.

Giorgio Levi

Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

LEAF: A Language which Integrates Logic, Equations and Functions.

Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1985

The Declarative Semantics of Logical Read-Only Variables.

Giorgio Levi, Catuscia Palamidessi

Proceedings of the 1985 Symposium on Logic Programming, 1985

1984

A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi

Inf. Control., 1984

On the Integration of Logic Programming and Functional Programming.

Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli

Proceedings of the 1984 International Symposium on Logic Programming, 1984

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.

Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli

Proceedings of the Implementations of Prolog. , 1984

1983

Top-Down Mathematical Semantics and Symbolic Execution.

Giorgio Levi, A. M. Pegna

RAIRO Theor. Informatics Appl., 1983

On the Fixed-Point Semantics of Horn Clauses with Infinite Terms.

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

On Compiling Prolog Programs on Demand Driven Architectures.

Marco Bellia, Giorgio Levi, Maurizio Martelli

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982

Applicative communicating processes in first order logic.

Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli

Proceedings of the International Symposium on Programming, 1982

Toward an Inductionless Technique for Proving Properties of Logic Programs.

Roberto Barbuti, Pierpaolo Degano, Giorgio Levi

Proceedings of the First International Logic Programming Conference, 1982

1979

A Flexible Environment for Program Development Based on a Symbolic Interpreter.

Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini

Proceedings of the 4th International Conference on Software Engineering, 1979

1977

Distributed Control, Modularity and Data Types in a Simple Parallel Language.

Marco Bellia, Giorgio Levi

Proceedings of the International Computing Symposium 1977, 1977

1976

Generalized AND/OR Graphs.

Giorgio Levi, Franco Sirovich

Artif. Intell., 1976

1975

Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics.

Giorgio Levi, Franco Sirovich

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

A Problem Reduction Model for Non-Independent Subproblems.

Giorgio Levi, Franco Sirovich

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

Pattern Matching and Call by Pattern.

Giorgio Levi, Franco Sirovich

Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

1974

Graph isomorphism: A heuristic edge-partitioning-oriented algorithm.

Giorgio Levi

Computing, 1974

1973

A technique for graph embedding with constraints on node and arc correspondences.

Giorgio Levi, Fabrizio Luccio

Inf. Sci., 1973

1972

Structural descriptions of fingerprint images.

Giorgio Levi, Franco Sirovich

Inf. Sci., 1972

1970

A Grey-Weighted Skeleton

Giorgio Levi, Ugo Montanari

Inf. Control., August, 1970