Giorgio Levi

According to our database1, Giorgio Levi
  • authored at least 117 papers between 1970 and 2011.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2011
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011

2005
On the verification of finite failure.
J. Comput. Syst. Sci., 2005

2003
Abstract interpretation based verification of logic programs.
Sci. Comput. Program., 2003

Pair-independence and freeness analysis through linear refinement.
Inf. Comput., 2003

Properties of a Type Abstract Interpreter.
Proceedings of the Verification, 2003

2002
An Experiment in Type Inference and Verification by Abstract Interpretation.
Proceedings of the Verification, 2002

2001
Preface.
Sci. Comput. Program., 2001

A Theory of Observables for Logic Programs.
Inf. Comput., 2001

Logic programs as specifications in the inductive verification of logic programs.
Electr. Notes Theor. Comput. Sci., 2001

How to Transform an Analyzer into a Verifier.
Proceedings of the Logic for Programming, 2001

2000
Abstract Interpretation Based Verification of Logic Programs.
Electr. Notes Theor. Comput. Sci., 2000

Assertion based Inductive Verification Methods for Logic Programs.
Electr. Notes Theor. Comput. Sci., 2000

Abstract Interpretation Based Semantics of Sequent Calculi.
Proceedings of the Static Analysis, 7th International Symposium, 2000

Non Pair-Sharing and Freeness Analysis Through Linear Refinement.
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.
Electr. Notes Theor. Comput. Sci., 1999

Abstract Diagnosis.
J. Log. Program., 1999

On the Verification of Finite Failure.
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

On the verification of finite failure.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
Derivation of Proof Methods by Abstract Interpretation.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Abstract Interpretation of Prolog Programs.
Proceedings of the Algebraic Methodology and Software Technology, 1998

An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

Set Based-Analysis of Logic Programs via Abstract Interpretation.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

Derivation of Proof Methods by Abstract Interpretation.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

Modular Abstract Diagnosis.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
Finite Failure is And-Compositional.
J. Log. Comput., 1997

Abstracting Synchronization in Concurrent Constraint Programming.
Journal of Functional and Logic Programming, 1997

A Denotational Semantics for Prolog.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

Properties of the Lattice of Observables in Logic Programming.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Differential Logic Programs: Programming Methodologies and Semantics.
Sci. Comput. Program., 1996

Resultants Semantics for Prolog.
J. Log. Comput., 1996

Proving Properties of Logic Programs by Abstract Diagnosis.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Accurate Analysis of Prolog with cut.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Observable Behaviors and Equivalences of Logic Programs
Inf. Comput., October, 1995

Incremental Constraint Satisfaction for Equational Logic Programming.
Theor. Comput. Sci., 1995

Observable Semantics for Constraint Logic Programs.
J. Log. Comput., 1995

Generalized Semantics and Abstract Interpretation for Constraint Logic Programs.
J. Log. Program., 1995

Declarative Diagnosis Revisited.
Proceedings of the Logic Programming, 1995

Compositionality in SLD-Derivations and their Abstractions.
Proceedings of the Logic Programming, 1995

Contributions to a Theory of Existential Termination for Definite Logic Programs.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Analysis of Pure PROLOG Programs.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

On the Abstract Diagnosis of Logic Programs.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Declarative Diagnosis Revisited.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Compositionality in SLD-derivations and their Abstractions.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

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

1994
A Compositional Semantics for Logic Programs.
Theor. Comput. Sci., 1994

The s-Semantics Approach: Theory and Applications.
J. Log. Program., 1994

An Algebraic Theory of Observables.
Proceedings of the Logic Programming, 1994

Abstracting Synchronization in Concurrent Constraint Programming.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

Abstract Debugging of Logic Program.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

Abstracting Synchronization in Concurrent Constraint Programming.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Compilative Constructive Negation in Constraint Logic Programs.
Proceedings of the Trees in Algebra and Programming, 1994

Finite Failure is AND-Compositional.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

An Algebraic Theory of Observables.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs
Inf. Comput., March, 1993

A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.
ACM Trans. Program. Lang. Syst., 1993

Modelling Prolog Control.
J. Log. Comput., 1993

Parallel execution of prolog on shared-memory multiprocessors.
J. Comput. Sci. Technol., 1993

Differential Logic Programming.
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.
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

A Formalization of Metaprogramming for real.
Proceedings of the Logic Programming, 1993

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

Joining Abstract and Concrete Computations in Constraint Logic Programming.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

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

Intensional Negation in Constraint Logic Programs.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

Computing in the Completion.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.
Theor. Comput. Sci., 1992

Static Analysis of CLP Programs over Numeric Domains.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux), 1992

New Semantic Tools for Logic Programming.
Proceedings of the Sematics: Foundations and Applications, 1992

Modeling Prolog Control.
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.
Proceedings of the Logic Programming and Automated Reasoning, 1992

Observational Equivalences for Logic Programs.
Proceedings of the Logic Programming, 1992

A Generalized Semantics for Constraint Logic Programs.
FGCS, 1992

Contributions to the Semantics of Open Logic Programs.
FGCS, 1992

1991
Kernel-LEAF: A Logic plus Functional Language.
J. Comput. Syst. Sci., 1991

A Solved Form Algorithm for Ask and Tell Herbrand Constraints.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Modelling Prolog Control.
Proceedings of the Actes JTASPEFL'91 (Bordeaux), 1991

On the Semantics of Logic Programs.
Proceedings of the Logic Programming, 1991

Modeling Answer Constraints in Constraint Logic Programs.
Proceedings of the Logic Programming, 1991

An OR-Compositional Semantics for Logic Programs.
Proceedings of the Constructing Logic Programs, 1991

On the Semantics of Logic Programs.
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

1990
Finite Failures and Partial Computations in Concurrent Logic Languages.
Theor. Comput. Sci., 1990

Nested Guarded Horn Clauses.
Int. J. Found. Comput. Sci., 1990

Failure and Success made Symmetric.
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.
Proceedings of the SPLT'90, 1990

Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.
Proceedings of the Algebraic and Logic Programming, 1990

1989
Declarative Modeling of the Operational Behavior of Logic Languages.
Theor. Comput. Sci., 1989

1988
Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language.
New Generation Comput., 1988

Contributions to the Semantics of Logic Perpetual Processes.
Acta Inf., 1988

Models, Unfolding Rules and Fixpoint Semantics.
Proceedings of the Logic Programming, 1988

A New Declarative Semantics for Logic Languages.
Proceedings of the Logic Programming, 1988

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

Finite Failures and Partial Computations in Concurrent Logic Languages.
FGCS, 1988

1987
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.
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.
Proceedings of the PARLE, 1987

An Approach to the Declarative Semantics of Synchronization in Logic Languages.
Proceedings of the Logic Programming, 1987

1986
The Relation between Logic and Functional Languages: A Survey.
J. Log. Program., 1986

One, None, A Hundred Thousand Specification Languages - Response.
IFIP Congress, 1986

Logic Programming: The Foundations, the Approach and the Role of Concurrency.
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

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

1985
The Declarative Semantics of Logical Read-Only Variables.
Proceedings of the 1985 Symposium on Logic Programming, 1985

1984
A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses
Information and Control, 1984

On the Integration of Logic Programming and Functional Programming.
Proceedings of the 1984 International Symposium on Logic Programming, 1984

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

1983
Top-Down Mathematical Semantics and Symbolic Execution.
ITA, 1983

1982
Applicative communicating processes in first order logic.
Proceedings of the International Symposium on Programming, 1982

Toward an Inductionless Technique for Proving Properties of Logic Programs.
Proceedings of the First International Logic Programming Conference, 1982

1979
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
Proceedings of the 4th International Conference on Software Engineering, 1979

1977
Distributed Control, Modularity and Data Types in a Simple Parallel Language.
Proceedings of the International Computing Symposium 1977, 1977

1976
Generalized AND/OR Graphs.
Artif. Intell., 1976

1975
Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics.
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

A Problem Reduction Model for Non-Independent Subproblems.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

Pattern Matching and Call by Pattern.
Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

1974
Graph isomorphism: A heuristic edge-partitioning-oriented algorithm.
Computing, 1974

1973
A technique for graph embedding with constraints on node and arc correspondences.
Inf. Sci., 1973

1972
Structural descriptions of fingerprint images.
Inf. Sci., 1972

1970
A Grey-Weighted Skeleton
Information and Control, August, 1970


  Loading...