Giorgio Levi

Letterio Galletta, Giorgio Levi: An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language. WWV 2011: 81-95

Roberta Gori, Giorgio Levi: On the verification of finite failure. J. Comput. Syst. Sci. 71(4): 535-575 (2005)

Bernhard Steffen, Giorgio Levi (Eds.): Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings. Lecture Notes in Computer Science 2937, Springer 2004, isbn 3-540-20803-8

Giorgio Levi, Fausto Spoto: Pair-independence and freeness analysis through linear refinement. Inf. Comput. 182(1): 14-52 (2003)

Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract interpretation based verification of logic programs. Sci. Comput. Program. 49(1-3): 89-123 (2003)

Roberta Gori, Giorgio Levi: Properties of a Type Abstract Interpreter. VMCAI 2003: 132-145

Roberta Gori, Giorgio Levi: An Experiment in Type Inference and Verification by Abstract Interpretation. VMCAI 2002: 225-239

Marco Comini, Roberta Gori, Giorgio Levi: Logic programs as specifications in the inductive verification of logic programs. Electr. Notes Theor. Comput. Sci. 48: 131-146 (2001)

Marco Comini, Giorgio Levi, Maria Chiara Meo: A Theory of Observables for Logic Programs. Inf. Comput. 169(1): 23-80 (2001)

Giorgio Levi: Preface. Sci. Comput. Program. 39(1): 1 (2001)

Marco Comini, Roberta Gori, Giorgio Levi: How to Transform an Analyzer into a Verifier. LPAR 2001: 595-609

Marco Comini, Roberta Gori, Giorgio Levi: Assertion based Inductive Verification Methods for Logic Programs. Electr. Notes Theor. Comput. Sci. 40: 52-69 (2000)

Giorgio Levi: Abstract Interpretation Based Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 40: 243 (2000)

Giorgio Levi, Fausto Spoto: Non Pair-Sharing and Freeness Analysis Through Linear Refinement. PEPM 2000: 52-61

Gianluca Amato, Giorgio Levi: Abstract Interpretation Based Semantics of Sequent Calculi. SAS 2000: 38-57

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Abstract Diagnosis. J. Log. Program. 39(1-3): 43-93 (1999)

Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe: Abstract Interpretation based Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 30(1): 22-38 (1999)

Roberta Gori, Giorgio Levi: On the verification of finite failure. APPIA-GULP-PRODE 1999: 197-212

Roberta Gori, Giorgio Levi: On the Verification of Finite Failure. PPDP 1999: 311-327

Fausto Spoto, Giorgio Levi: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. APPIA-GULP-PRODE 1998: 269-282

Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. APPIA-GULP-PRODE 1998: 283-292

Giorgio Levi, W. Volpi: Set Based-Analysis of Logic Programs via Abstract Interpretation. APPIA-GULP-PRODE 1998: 303-310

Marco Comini, Giorgio Levi, Giuliana Vitiello: Modular Abstract Diagnosis. APPIA-GULP-PRODE 1998: 409-420

Fausto Spoto, Giorgio Levi: Abstract Interpretation of Prolog Programs. AMAST 1998: 455-470

Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP 1998: 102-117

Giorgio Levi, Fausto Spoto: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP 1998: 152-169

Giorgio Levi (Ed.): Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings. Lecture Notes in Computer Science 1503, Springer 1998, isbn 3-540-65014-8

Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming. Journal of Functional and Logic Programming 1997(6) (1997)

Roberta Gori, Giorgio Levi: Finite Failure is And-Compositional. J. Log. Comput. 7(6): 753-776 (1997)

Fausto Spoto, Giorgio Levi: A Denotational Semantics for Prolog. APPIA-GULP-PRODE 1997: 201-212

Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Resultants Semantics for Prolog. J. Log. Comput. 6(4): 491-521 (1996)

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)

Giorgio Levi, Fausto Spoto: Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE 1996: 481-492

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS 1996: 22-50

Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Observable Behaviors and Equivalences of Logic Programs. Inf. Comput. 122(1): 1-29 (1995)

Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi: Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. J. Log. Program. 25(3): 191-247 (1995)

Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi: Observable Semantics for Constraint Logic Programs. J. Log. Comput. 5(2): 133-171 (1995)

María Alpuente, Moreno Falaschi, Giorgio Levi: Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. 142(1): 27-57 (1995)

Marco Comini, Giorgio Levi, Giuliana Vitiello: Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. AADEBUG 1995: 159-174

Giorgio Levi, Marco Comini, Giuliana Vitiello: On the Abstract Diagnosis of Logic Programs. GULP-PRODE 1995: 41-60

Giorgio Levi, Daniele Micciancio: Analysis of Pure PROLOG Programs. GULP-PRODE 1995: 521-532

Marco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-derivations and their Abstractions. GULP-PRODE 1995: 533-544

Marco Comini, Giorgio Levi, Giuliana Vitiello: Declarative Diagnosis Revisited. GULP-PRODE 1995: 607-618

Giorgio Levi, Francesca Scozzari: Contributions to a Theory of Existential Termination for Definite Logic Programs. GULP-PRODE 1995: 631-642

Marco Comini, Giorgio Levi, Giuliana Vitiello: Declarative Diagnosis Revisited. ILPS 1995: 275-287

Marco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-Derivations and their Abstractions. ILPS 1995: 561-575

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli: The s-Semantics Approach: Theory and Applications. J. Log. Program. 19/20: 149-197 (1994)

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: A Compositional Semantics for Logic Programs. Theor. Comput. Sci. 122(1&2): 3-47 (1994)

Marco Comini, Giorgio Levi: An Algebraic Theory of Observables. GULP-PRODE (1) 1994: 170-186

Roberta Gori, Giorgio Levi: Finite Failure is AND-Compositional. GULP-PRODE (1) 1994: 464-478

Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Compilative Constructive Negation in Constraint Logic Programs. CAAP 1994: 52-67

Marco Comini, Giorgio Levi, Giuliana Vitiello: Abstract Debugging of Logic Program. META 1994: 440-450

Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming. PLILP 1994: 57-72

Marco Comini, Giorgio Levi: An Algebraic Theory of Observables. SLP 1994: 172-186

Giorgio Levi, Mario Rodríguez-Artalejo (Eds.): Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings. Lecture Notes in Computer Science 850, Springer 1994, isbn 3-540-58431-5

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)

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): 329-336 (1993)

Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. J. Log. Comput. 3(6): 579-603 (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): 133-181 (1993)

Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Intensional Negation in Constraint Logic Programs. GULP 1993: 359-374

Alberto Bottoni, Giorgio Levi: Computing in the Completion. GULP 1993: 375-392

Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray: Joining Abstract and Concrete Computations in Constraint Logic Programming. AMAST 1993: 109-126

Giorgio Levi, Davide Ramundo: A Formalization of Metaprogramming for real. ICLP 1993: 354-373

Alberto Bottoni, Giorgio Levi: The Inverse of Fitting's Functional. Kurt Gödel Colloquium 1993: 132-143

Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Differential Logic Programming. POPL 1993: 359-370

Maurizio Gabbrielli, Giorgio Levi: Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. Theor. Comput. Sci. 105(1): 85-128 (1992)

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Contributions to the Semantics of Open Logic Programs. FGCS 1992: 570-580

Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi: A Generalized Semantics for Constraint Logic Programs. FGCS 1992: 581-591

Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Observational Equivalences for Logic Programs. JICSLP 1992: 131-145

Maurizio Gabbrielli, Giorgio Levi, Daniele Turi: A Two Steps Semantics for Logic Programs with Negation. LPAR 1992: 297-308

Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modeling Prolog Control. POPL 1992: 95-104

Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli: New Semantic Tools for Logic Programming. REX Workshop 1992: 204-235

Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi: Static Analysis of CLP Programs over Numeric Domains. WSA 1992: 43-50

Hélène Kirchner, Giorgio Levi (Eds.): Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings. Lecture Notes in Computer Science 632, Springer 1992, isbn 3-540-55873-X

Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi: Kernel-LEAF: A Logic plus Functional Language. J. Comput. Syst. Sci. 42(2): 139-185 (1991)

Maurizio Gabbrielli, Giorgio Levi: On the Semantics of Logic Programs. ICALP 1991: 1-19

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

Maurizio Gabbrielli, Giorgio Levi: Modeling Answer Constraints in Constraint Logic Programs. ICLP 1991: 238-252

Giorgio Levi: On the Semantics of Logic Programs. ICLP 1991: 945

Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. JTASPEFT/WSA 1991: 117-124

Maurizio Gabbrielli, Giorgio Levi: A Solved Form Algorithm for Ask and Tell Herbrand Constraints. TAPSOFT, Vol.1 1991: 320-337

Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami: Nested Guarded Horn Clauses. Int. J. Found. Comput. Sci. 1(3): 249-264 (1990)

Moreno Falaschi, Giorgio Levi: Finite Failures and Partial Computations in Concurrent Logic Languages. Theor. Comput. Sci. 75(1&2): 45-66 (1990)

Maurizio Gabbrielli, Giorgio Levi: Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. ALP 1990: 204-216

Giorgio Levi: A Unified Approach to Logic Programs Semantics based on Constraints. SPLT 1990: 583-

Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi: Failure and Success made Symmetric. NACLP 1990: 3-22

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)

Giorgio Levi, Catuscia Palamidessi: Contributions to the Semantics of Logic Perpetual Processes. Acta Inf. 25(6): 691-711 (1988)

Giorgio Levi, Giuseppe Sardu: Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language. New Generation Comput. 6(2&3): 227-247 (1988)

Moreno Falaschi, Giorgio Levi: Finite Failures and Partial Computations in Concurrent Logic Languages. FGCS 1988: 364-373

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

Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi: A New Declarative Semantics for Logic Languages. ICLP/SLP 1988: 993-1005

Giorgio Levi: Models, Unfolding Rules and Fixpoint Semantics. ICLP/SLP 1988: 1649-1665

Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi (Eds.): Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings. Lecture Notes in Computer Science 306, Springer 1988, isbn 3-540-19129-1

Giorgio Levi, Catuscia Palamidessi: An Approach to the Declarative Semantics of Synchronization in Logic Languages. ICLP 1987: 877-893

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

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

Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari (Eds.): 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). Lecture Notes in Computer Science 249, Springer 1987, isbn 3-540-17660-8

Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari (Eds.): 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). Lecture Notes in Computer Science 250, Springer 1987, isbn 3-540-17611-X

Marco Bellia, Giorgio Levi: The Relation between Logic and Functional Languages: A Survey. J. Log. Program. 3(3): 217-236 (1986)

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

Giorgio Levi: Logic Programming: The Foundations, the Approach and the Role of Concurrency. Current Trends in Concurrency 1986: 396-441

Giorgio Levi: One, None, A Hundred Thousand Specification Languages - Response. IFIP Congress 1986: 1005-1008

Giorgio Levi, Catuscia Palamidessi: The Declarative Semantics of Logical Read-Only Variables. SLP 1985: 128-137

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)

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

Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: On the Integration of Logic Programming and Functional Programming. SLP 1984: 160-166

Giorgio Levi, A. M. Pegna: Top-Down Mathematical Semantics and Symbolic Execution. ITA 17(1): 55-70 (1983)

Roberto Barbuti, Pierpaolo Degano, Giorgio Levi: Toward an Inductionless Technique for Proving Properties of Logic Programs. ICLP 1982: 175-181

Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli: Applicative communicating processes in first order logic. Symposium on Programming 1982: 1-14

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

Marco Bellia, Giorgio Levi: Distributed Control, Modularity and Data Types in a Simple Parallel Language. International Computing Symposium 1977: 441-450

Giorgio Levi, Franco Sirovich: Generalized AND/OR Graphs. Artif. Intell. 7(3): 243-259 (1976)

Giorgio Levi, Franco Sirovich: Pattern Matching and Call by Pattern. GI Jahrestagung 1975: 491-499

Giorgio Levi, Franco Sirovich: A Problem Reduction Model for Non-Independent Subproblems. IJCAI 1975: 340-344

Giorgio Levi, Franco Sirovich: Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. MFCS 1975: 294-301

Giorgio Levi, Fabrizio Luccio: A technique for graph embedding with constraints on node and arc correspondences. Inf. Sci. 5: 1-24 (1973)

Giorgio Levi, Ugo Montanari: A Grey-Weighted Skeleton. Information and Control 17(1): 62-91 (1970)