 | 2005 |
|---|
| 115 |       | Roberta Gori,
Giorgio Levi:
On the verification of finite failure.
J. Comput. Syst. Sci. 71(4): 535-575 (2005) |
| 2004 |
|---|
| 114 |  | Bernhard Steffen,
Giorgio Levi:
Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Springer 2004 |
| 2003 |
|---|
| 113 | | Roberta Gori,
Giorgio Levi:
Properties of a Type Abstract Interpreter.
VMCAI 2003: 132-145 |
| 112 | | Giorgio Levi,
Fausto Spoto:
Pair-independence and freeness analysis through linear refinement.
Inf. Comput. 182(1): 14-52 (2003) |
| 111 | | Marco Comini,
Roberta Gori,
Giorgio Levi,
Paolo Volpe:
Abstract interpretation based verification of logic programs.
Sci. Comput. Program. 49(1-3): 89-123 (2003) |
| 2002 |
|---|
| 110 | | Roberta Gori,
Giorgio Levi:
An Experiment in Type Inference and Verification by Abstract Interpretation.
VMCAI 2002: 225-239 |
| 2001 |
|---|
| 109 | | Marco Comini,
Roberta Gori,
Giorgio Levi:
How to Transform an Analyzer into a Verifier.
LPAR 2001: 595-609 |
| 108 | | Marco Comini,
Roberta Gori,
Giorgio Levi:
Logic programs as specifications in the inductive verification of logic programs.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 107 | | Marco Comini,
Giorgio Levi,
Maria Chiara Meo:
A Theory of Observables for Logic Programs.
Inf. Comput. 169(1): 23-80 (2001) |
| 106 | | Giorgio Levi:
Preface.
Sci. Comput. Program. 39(1): 1 (2001) |
| 2000 |
|---|
| 105 | | Giorgio Levi,
Fausto Spoto:
Non Pair-Sharing and Freeness Analysis Through Linear Refinement.
PEPM 2000: 52-61 |
| 104 | | Gianluca Amato,
Giorgio Levi:
Abstract Interpretation Based Semantics of Sequent Calculi.
SAS 2000: 38-57 |
| 103 | | Giorgio Levi:
Abstract Interpretation Based Verification of Logic Programs.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 102 | | Marco Comini,
Roberta Gori,
Giorgio Levi:
Assertion based Inductive Verification Methods for Logic Programs.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 1999 |
|---|
| 101 | | Roberta Gori,
Giorgio Levi:
On the verification of finite failure.
APPIA-GULP-PRODE 1999: 197-212 |
| 100 | | Roberta Gori,
Giorgio Levi:
On the Verification of Finite Failure.
PPDP 1999: 311-327 |
| 99 | | Marco Comini,
Roberta Gori,
Giorgio Levi,
Paolo Volpe:
Abstract Interpretation based Verification of Logic Programs.
Electr. Notes Theor. Comput. Sci. 30(1): (1999) |
| 98 | | Marco Comini,
Giorgio Levi,
Maria Chiara Meo,
Giuliana Vitiello:
Abstract Diagnosis.
J. Log. Program. 39(1-3): 43-93 (1999) |
| 1998 |
|---|
| 97 | | Giorgio Levi:
Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings
Springer 1998 |
| 96 | | Fausto Spoto,
Giorgio Levi:
Abstract Interpretation of Prolog Programs.
AMAST 1998: 455-470 |
| 95 | | Fausto Spoto,
Giorgio Levi:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.
APPIA-GULP-PRODE 1998: 269-282 |
| 94 | | Giorgio Levi,
Paolo Volpe:
Derivation of Proof Methods by Abstract Interpretation.
APPIA-GULP-PRODE 1998: 283-292 |
| 93 | | Giorgio Levi,
W. Volpi:
Set Based-Analysis of Logic Programs via Abstract Interpretation.
APPIA-GULP-PRODE 1998: 303-310 |
| 92 | | Marco Comini,
Giorgio Levi,
Giuliana Vitiello:
Modular Abstract Diagnosis.
APPIA-GULP-PRODE 1998: 409-420 |
| 91 | | Giorgio Levi,
Paolo Volpe:
Derivation of Proof Methods by Abstract Interpretation.
PLILP/ALP 1998: 102-117 |
| 90 | | Giorgio Levi,
Fausto Spoto:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.
PLILP/ALP 1998: 152-169 |
| 1997 |
|---|
| 89 | | Fausto Spoto,
Giorgio Levi:
A Denotational Semantics for Prolog.
APPIA-GULP-PRODE 1997: 201-212 |
| 88 | | Roberta Gori,
Giorgio Levi:
Finite Failure is And-Compositional.
J. Log. Comput. 7(6): 753-776 (1997) |
| 87 | | Enea Zaffanella,
Roberto Giacobazzi,
Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming.
Journal of Functional and Logic Programming 1997(6): (1997) |
| 1996 |
|---|
| 86 | | Giorgio Levi,
Fausto Spoto:
Accurate Analysis of Prolog with cut.
APPIA-GULP-PRODE 1996: 481-492 |
| 85 | | Marco Comini,
Giorgio Levi,
Maria Chiara Meo,
Giuliana Vitiello:
Proving Properties of Logic Programs by Abstract Diagnosis.
LOMAPS 1996: 22-50 |
| 84 | | Maurizio Gabbrielli,
Giorgio Levi,
Maria Chiara Meo:
Resultants Semantics for Prolog.
J. Log. Comput. 6(4): 491-521 (1996) |
| 83 | | Annalisa Bossi,
Michele Bugliesi,
Maurizio Gabbrielli,
Giorgio Levi,
Maria Chiara Meo:
Differential Logic Programs: Programming Methodologies and Semantics.
Sci. Comput. Program. 27(3): 217-262 (1996) |
| 1995 |
|---|
| 82 | | Marco Comini,
Giorgio Levi,
Giuliana Vitiello:
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.
AADEBUG 1995: 159-174 |
| 81 | | Giorgio Levi,
Marco Comini,
Giuliana Vitiello:
On the Abstract Diagnosis of Logic Programs.
GULP-PRODE 1995: 41-60 |
| 80 | | Giorgio Levi,
Daniele Micciancio:
Analysis of Pure PROLOG Programs.
GULP-PRODE 1995: 521-532 |
| 79 | | Marco Comini,
Giorgio Levi,
Maria Chiara Meo:
Compositionality in SLD-derivations and their Abstractions.
GULP-PRODE 1995: 533-544 |
| 78 | | Marco Comini,
Giorgio Levi,
Giuliana Vitiello:
Declarative Diagnosis Revisited.
GULP-PRODE 1995: 607-618 |
| 77 | | Giorgio Levi,
Francesca Scozzari:
Contributions to a Theory of Existential Termination for Definite Logic Programs.
GULP-PRODE 1995: 631-642 |
| 76 | | Marco Comini,
Giorgio Levi,
Giuliana Vitiello:
Declarative Diagnosis Revisited.
ILPS 1995: 275-287 |
| 75 | | Marco Comini,
Giorgio Levi,
Maria Chiara Meo:
Compositionality in SLD-Derivations and their Abstractions.
ILPS 1995: 561-575 |
| 74 | | Maurizio Gabbrielli,
Giorgio Levi,
Maria Chiara Meo:
Observable Behaviors and Equivalences of Logic Programs
Inf. Comput. 122(1): 1-29 (1995) |
| 73 | | Maurizio Gabbrielli,
Giovanna M. Dore,
Giorgio Levi:
Observable Semantics for Constraint Logic Programs.
J. Log. Comput. 5(2): 133-171 (1995) |
| 72 | | Roberto Giacobazzi,
Saumya K. Debray,
Giorgio Levi:
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs.
J. Log. Program. 25(3): 191-247 (1995) |
| 71 | | María Alpuente,
Moreno Falaschi,
Giorgio Levi:
Incremental Constraint Satisfaction for Equational Logic Programming.
Theor. Comput. Sci. 142(1): 27-57 (1995) |
| 1994 |
|---|
| 70 | | Giorgio Levi,
Mario Rodríguez-Artalejo:
Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings
Springer 1994 |
| 69 | | Paola Bruscoli,
Francesca Levi,
Giorgio Levi,
Maria Chiara Meo:
Compilative Constructive Negation in Constraint Logic Programs.
CAAP 1994: 52-67 |
| 68 | | Marco Comini,
Giorgio Levi:
An Algebraic Theory of Observables.
GULP-PRODE (1) 1994: 170-186 |
| 67 | | Roberta Gori,
Giorgio Levi:
Finite Failure is AND-Compositional.
GULP-PRODE (1) 1994: 464-478 |
| 66 | | Marco Comini,
Giorgio Levi,
Giuliana Vitiello:
Abstract Debugging of Logic Program.
META 1994: 440-450 |
| 65 | | Enea Zaffanella,
Roberto Giacobazzi,
Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming.
PLILP 1994: 57-72 |
| 64 | | Marco Comini,
Giorgio Levi:
An Algebraic Theory of Observables.
SLP 1994: 172-186 |
| 63 | | Annalisa Bossi,
Maurizio Gabbrielli,
Giorgio Levi,
Maurizio Martelli:
The s-Semantics Approach: Theory and Applications.
J. Log. Program. 19/20: 149-197 (1994) |
| 62 | | Annalisa Bossi,
Maurizio Gabbrielli,
Giorgio Levi,
Maria Chiara Meo:
A Compositional Semantics for Logic Programs.
Theor. Comput. Sci. 122(1&2): 3-47 (1994) |
| 1993 |
|---|
| 61 | | Roberto Giacobazzi,
Giorgio Levi,
Saumya K. Debray:
Joining Abstract and Concrete Computations in Constraint Logic Programming.
AMAST 1993: 109-126 |
| 60 | | Paola Bruscoli,
Francesca Levi,
Giorgio Levi,
Maria Chiara Meo:
Intensional Negation in Constraint Logic Programs.
GULP 1993: 359-374 |
| 59 | | Alberto Bottoni,
Giorgio Levi:
Computing in the Completion.
GULP 1993: 375-392 |
| 58 | | Giorgio Levi,
Davide Ramundo:
A Formalization of Metaprogramming for real.
ICLP 1993: 354-373 |
| 57 | | Alberto Bottoni,
Giorgio Levi:
The Inverse of Fitting's Functional.
Kurt Gödel Colloquium 1993: 132-143 |
| 56 | | 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): 133-181 (1993) |
| 55 | | Moreno Falaschi,
Giorgio Levi,
Maurizio Martelli,
Catuscia Palamidessi:
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs
Inf. Comput. 103(1): 86-113 (1993) |
| 54 | | Roberto Barbuti,
Michael Codish,
Roberto Giacobazzi,
Giorgio Levi:
Modelling Prolog Control.
J. Log. Comput. 3(6): 579-603 (1993) |
| 1992 |
|---|
| 53 | | Hélène Kirchner,
Giorgio Levi:
Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings
Springer 1992 |
| 52 | | Annalisa Bossi,
Maurizio Gabbrielli,
Giorgio Levi,
Maria Chiara Meo:
Contributions to the Semantics of Open Logic Programs.
FGCS 1992: 570-580 |
| 51 | | Roberto Giacobazzi,
Saumya K. Debray,
Giorgio Levi:
A Generalized Semantics for Constraint Logic Programs.
FGCS 1992: 581-591 |
| 50 | | Maurizio Gabbrielli,
Giorgio Levi,
Maria Chiara Meo:
Observational Equivalences for Logic Programs.
JICSLP 1992: 131-145 |
| 49 | | Maurizio Gabbrielli,
Giorgio Levi,
Daniele Turi:
A Two Steps Semantics for Logic Programs with Negation.
LPAR 1992: 297-308 |
| 48 | | Roberto Barbuti,
Michael Codish,
Roberto Giacobazzi,
Giorgio Levi:
Modeling Prolog Control.
POPL 1992: 95-104 |
| 47 | | Maurizio Gabbrielli,
Giorgio Levi,
Maurizio Martelli:
New Semantic Tools for Logic Programming.
REX Workshop 1992: 204-235 |
| 46 | | Roberto Bagnara,
Roberto Giacobazzi,
Giorgio Levi:
Static Analysis of CLP Programs over Numeric Domains.
WSA 1992: 43-50 |
| 45 | | Maurizio Gabbrielli,
Giorgio Levi:
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.
Theor. Comput. Sci. 105(1): 85-128 (1992) |
| 1991 |
|---|
| 44 | | Maurizio Gabbrielli,
Giorgio Levi:
On the Semantics of Logic Programs.
ICALP 1991: 1-19 |
| 43 | | Maurizio Gabbrielli,
Giorgio Levi:
Modeling Answer Constraints in Constraint Logic Programs.
ICLP 1991: 238-252 |
| 42 | | Giorgio Levi:
On the Semantics of Logic Programs.
ICLP 1991: 945 |
| 41 | | Annalisa Bossi,
Maurizio Gabbrielli,
Giorgio Levi,
Maria Chiara Meo:
An OR-Compositional Semantics for Logic Programs.
ICLP Workshop on Construction of Logic Programs 1991: 215-240 |
| 40 | | Roberto Barbuti,
Michael Codish,
Roberto Giacobazzi,
Giorgio Levi:
Modelling Prolog Control.
JTASPEFT/WSA 1991: 117-124 |
| 39 | | Maurizio Gabbrielli,
Giorgio Levi:
A Solved Form Algorithm for Ask and Tell Herbrand Constraints.
TAPSOFT, Vol.1 1991: 320-337 |
| 38 | | Elio Giovannetti,
Giorgio Levi,
Corrado Moiso,
Catuscia Palamidessi:
Kernel-LEAF: A Logic plus Functional Language.
J. Comput. Syst. Sci. 42(2): 139-185 (1991) |
| 1990 |
|---|
| 37 | | Maurizio Gabbrielli,
Giorgio Levi:
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.
ALP 1990: 204-216 |
| 36 | | Giorgio Levi,
Maurizio Martelli,
Catuscia Palamidessi:
Failure and Success made Symmetric.
NACLP 1990: 3-22 |
| 35 | | Giorgio Levi:
A Unified Approach to Logic Programs Semantics based on Constraints.
SPLT 1990: 583- |
| 34 | | Moreno Falaschi,
Maurizio Gabbrielli,
Giorgio Levi,
Masaki Murakami:
Nested Guarded Horn Clauses.
Int. J. Found. Comput. Sci. 1(3): 249-264 (1990) |
| 33 | | Moreno Falaschi,
Giorgio Levi:
Finite Failures and Partial Computations in Concurrent Logic Languages.
Theor. Comput. Sci. 75(1&2): 45-66 (1990) |
| 1989 |
|---|
| 32 | | Moreno Falaschi,
Giorgio Levi,
Catuscia Palamidessi,
Maurizio Martelli:
Declarative Modeling of the Operational Behavior of Logic Languages.
Theor. Comput. Sci. 69(3): 289-318 (1989) |
| 1988 |
|---|
| 31 | | Mauro Boscarol,
Luigia Carlucci Aiello,
Giorgio Levi:
Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings
Springer 1988 |
| 30 | | Moreno Falaschi,
Giorgio Levi:
Finite Failures and Partial Computations in Concurrent Logic Languages.
FGCS 1988: 364-373 |
| 29 | | Giorgio Levi:
Models, Unfolding Rules and Fixpoint Semantics.
ICLP/SLP 1988: 1649-1665 |
| 28 | | 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: 359-373 |
| 27 | | Moreno Falaschi,
Giorgio Levi,
Maurizio Martelli,
Catuscia Palamidessi:
A New Declarative Semantics for Logic Languages.
ICLP/SLP 1988: 993-1005 |
| 26 | | Giorgio Levi,
Catuscia Palamidessi:
Contributions to the Semantics of Logic Perpetual Processes.
Acta Inf. 25(6): 691-711 (1988) |
| 25 | | Giorgio Levi,
Giuseppe Sardu:
Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language.
New Generation Comput. 6(2&3): 227-247 (1988) |
| 1987 |
|---|
| 24 | | Hartmut Ehrig,
Robert A. Kowalski,
Giorgio Levi,
Ugo Montanari:
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87)
Springer 1987 |
| 23 | | Hartmut Ehrig,
Robert A. Kowalski,
Giorgio Levi,
Ugo Montanari:
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Springer 1987 |
| 22 | | Giorgio Levi,
Catuscia Palamidessi:
An Approach to the Declarative Semantics of Synchronization in Logic Languages.
ICLP 1987: 877-893 |
| 21 | | 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: 374-393 |
| 20 | | 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: 318-327 |
| 1986 |
|---|
| 19 | | Giorgio Levi:
One, None, A Hundred Thousand Specification Languages - Response.
IFIP Congress 1986: 1005-1008 |
| 18 | | Giorgio Levi:
Logic Programming: The Foundations, the Approach and the Role of Concurrency.
Current Trends in Concurrency 1986: 396-441 |
| 17 | | Roberto Barbuti,
Marco Bellia,
Giorgio Levi,
Maurizio Martelli:
LEAF: A Language which Integrates Logic, Equations and Functions.
Logic Programming: Functions, Relations, and Equations 1986: 201-238 |
| 16 | | Marco Bellia,
Giorgio Levi:
The Relation between Logic and Functional Languages: A Survey.
J. Log. Program. 3(3): 217-236 (1986) |
| 1985 |
|---|
| 15 | | Giorgio Levi,
Catuscia Palamidessi:
The Declarative Semantics of Logical Read-Only Variables.
SLP 1985: 128-137 |
| 1984 |
|---|
| 14 | | Roberto Barbuti,
Marco Bellia,
Giorgio Levi,
Maurizio Martelli:
On the Integration of Logic Programming and Functional Programming.
SLP 1984: 160-166 |
| 13 | | Marco Bellia,
Enrico Dameri,
Pierpaolo Degano,
Giorgio Levi,
Maurizio Martelli:
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.
Implementations of Prolog 1984: 309-326 |
| 12 | | Moreno Falaschi,
Giorgio Levi,
Catuscia Palamidessi:
A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses
Information and Control 60(1-3): 36-69 (1984) |
| 1983 |
|---|
| 11 | | Giorgio Levi,
A. M. Pegna:
Top-Down Mathematical Semantics and Symbolic Execution.
ITA 17(1): 55-70 (1983) |
| 1982 |
|---|
| 10 | | Roberto Barbuti,
Pierpaolo Degano,
Giorgio Levi:
Toward an Inductionless Technique for Proving Properties of Logic Programs.
ICLP 1982: 175-181 |
| 9 | | Marco Bellia,
Enrico Dameri,
Pierpaolo Degano,
Giorgio Levi,
Maurizio Martelli:
Applicative communicating processes in first order logic.
Symposium on Programming 1982: 1-14 |
| 1979 |
|---|
| 8 | | Patrizia Asirelli,
Pierpaolo Degano,
Giorgio Levi,
Alberto Martelli,
Ugo Montanari,
Giuliano Pacini,
Franco Sirovich,
Franco Turini:
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
ICSE 1979: 251-264 |
| 1977 |
|---|
| 7 | | Marco Bellia,
Giorgio Levi:
Distributed Control, Modularity and Data Types in a Simple Parallel Language.
International Computing Symposium 1977: 441-450 |
| 1976 |
|---|
| 6 | | Giorgio Levi,
Franco Sirovich:
Generalized AND/OR Graphs.
Artif. Intell. 7(3): 243-259 (1976) |
| 1975 |
|---|
| 5 | | Giorgio Levi,
Franco Sirovich:
Pattern Matching and Call by Pattern.
GI Jahrestagung 1975: 491-499 |
| 4 | | Giorgio Levi,
Franco Sirovich:
A Problem Reduction Model for Non-Independent Subproblems.
IJCAI 1975: 340-344 |
| 3 | | Giorgio Levi,
Franco Sirovich:
Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics.
MFCS 1975: 294-301 |
| 1973 |
|---|
| 2 | | Giorgio Levi,
Fabrizio Luccio:
A technique for graph embedding with constraints on node and arc correspondences.
Inf. Sci. 5: 1-24 (1973) |
| 1970 |
|---|
| 1 | | Giorgio Levi,
Ugo Montanari:
A Grey-Weighted Skeleton
Information and Control 17(1): 62-91 (1970) |
