default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiorgio Levi
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2011
[c82]Letterio Galletta
, Giorgio Levi:
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language. WWV 2011: 81-95
2000 – 2009
- 2005
- [j35]Roberta Gori, Giorgio Levi:
On the verification of finite failure. J. Comput. Syst. Sci. 71(4): 535-575 (2005) - 2004
- [e8]Bernhard Steffen, Giorgio Levi:
Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings. Lecture Notes in Computer Science 2937, Springer 2004, ISBN 3-540-20803-8 [contents] - 2003
- [j34]Giorgio Levi, Fausto Spoto:
Pair-independence and freeness analysis through linear refinement. Inf. Comput. 182(1): 14-52 (2003) - [j33]Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe:
Abstract interpretation based verification of logic programs. Sci. Comput. Program. 49(1-3): 89-123 (2003) - [c81]Roberta Gori, Giorgio Levi:
Properties of a Type Abstract Interpreter. VMCAI 2003: 132-145 - 2002
- [c80]Roberta Gori, Giorgio Levi:
An Experiment in Type Inference and Verification by Abstract Interpretation. VMCAI 2002: 225-239 - 2001
- [j32]Marco Comini, Giorgio Levi, Maria Chiara Meo:
A Theory of Observables for Logic Programs. Inf. Comput. 169(1): 23-80 (2001) - [j31]Giorgio Levi:
Preface. Sci. Comput. Program. 39(1): 1 (2001) - [c79]Marco Comini, Roberta Gori, Giorgio Levi:
How to transform an analyzer into a verifier. APPIA-GULP-PRODE 2001: 131-148 - [c78]Marco Comini, Roberta Gori, Giorgio Levi:
How to Transform an Analyzer into a Verifier. LPAR 2001: 595-609 - [c77]Marco Comini, Roberta Gori, Giorgio Levi:
Logic programs as specifications in the inductive verification of logic programs. APPIA-GULP-PRODE 2001: 131-146 - 2000
- [c76]Giorgio Levi, Fausto Spoto:
Non Pair-Sharing and Freeness Analysis Through Linear Refinement. PEPM 2000: 52-61 - [c75]Gianluca Amato, Giorgio Levi:
Abstract Interpretation Based Semantics of Sequent Calculi. SAS 2000: 38-57 - [c74]Marco Comini, Roberta Gori, Giorgio Levi:
Assertion based Inductive Verification Methods for Logic Programs. MFCSIT 2000: 52-69 - [c73]Giorgio Levi:
Abstract Interpretation Based Verification of Logic Programs. MFCSIT 2000: 243
1990 – 1999
- 1999
- [j30]Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello:
Abstract Diagnosis. J. Log. Program. 39(1-3): 43-93 (1999) - [c72]Roberta Gori, Giorgio Levi:
On the verification of finite failure. APPIA-GULP-PRODE 1999: 197-212 - [c71]Roberta Gori, Giorgio Levi:
On the Verification of Finite Failure. PPDP 1999: 311-327 - [c70]Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe:
Abstract Interpretation based Verification of Logic Programs. Verification of Logic Programs@ICLP 1999: 22-38 - 1998
- [c69]Fausto Spoto, Giorgio Levi:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. APPIA-GULP-PRODE 1998: 269-282 - [c68]Giorgio Levi, Paolo Volpe:
Derivation of Proof Methods by Abstract Interpretation. APPIA-GULP-PRODE 1998: 283-292 - [c67]Giorgio Levi, W. Volpi:
Set Based-Analysis of Logic Programs via Abstract Interpretation. APPIA-GULP-PRODE 1998: 303-310 - [c66]Marco Comini, Giorgio Levi, Giuliana Vitiello:
Modular Abstract Diagnosis. APPIA-GULP-PRODE 1998: 409-420 - [c65]Fausto Spoto, Giorgio Levi:
Abstract Interpretation of Prolog Programs. AMAST 1998: 455-470 - [c64]Giorgio Levi, Paolo Volpe:
Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP 1998: 102-117 - [c63]Giorgio Levi, Fausto Spoto:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP 1998: 152-169 - [e7]Giorgio Levi:
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 [contents] - 1997
- [j29]Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming. J. Funct. Log. Program. 1997(6) (1997) - [j28]Roberta Gori, Giorgio Levi:
Finite Failure is And-Compositional. J. Log. Comput. 7(6): 753-776 (1997) - [c62]Gianluca Amato, Giorgio Levi:
Properties of the Lattice of Observables in Logic Programming. APPIA-GULP-PRODE 1997: 175-188 - [c61]Fausto Spoto, Giorgio Levi:
A Denotational Semantics for Prolog. APPIA-GULP-PRODE 1997: 201-212 - 1996
- [j27]Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Resultants Semantics for Prolog. J. Log. Comput. 6(4): 491-521 (1996) - [j26]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) - [c60]Giorgio Levi, Fausto Spoto:
Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE 1996: 481-492 - [c59]Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello:
Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS 1996: 22-50 - 1995
- [j25]Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Observable Behaviors and Equivalences of Logic Programs. Inf. Comput. 122(1): 1-29 (1995) - [j24]Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi:
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. J. Log. Program. 25(3): 191-247 (1995) - [j23]Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi:
Observable Semantics for Constraint Logic Programs. J. Log. Comput. 5(2): 133-171 (1995) - [j22]María Alpuente, Moreno Falaschi, Giorgio Levi:
Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. 142(1): 27-57 (1995) - [c58]Marco Comini, Giorgio Levi, Giuliana Vitiello:
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. AADEBUG 1995: 159-174 - [c57]Giorgio Levi, Marco Comini, Giuliana Vitiello:
On the Abstract Diagnosis of Logic Programs. GULP-PRODE 1995: 41-60 - [c56]Giorgio Levi, Daniele Micciancio:
Analysis of Pure PROLOG Programs. GULP-PRODE 1995: 521-532 - [c55]Marco Comini, Giorgio Levi, Maria Chiara Meo:
Compositionality in SLD-derivations and their Abstractions. GULP-PRODE 1995: 533-544 - [c54]Marco Comini, Giorgio Levi, Giuliana Vitiello:
Declarative Diagnosis Revisited. GULP-PRODE 1995: 607-618 - [c53]Giorgio Levi, Francesca Scozzari:
Contributions to a Theory of Existential Termination for Definite Logic Programs. GULP-PRODE 1995: 631-642 - [c52]Marco Comini, Giorgio Levi, Giuliana Vitiello:
Declarative Diagnosis Revisited. ILPS 1995: 275-287 - [c51]Marco Comini, Giorgio Levi, Maria Chiara Meo:
Compositionality in SLD-Derivations and their Abstractions. ILPS 1995: 561-575 - 1994
- [j21]Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli:
The s-Semantics Approach: Theory and Applications. J. Log. Program. 19/20: 149-197 (1994) - [j20]Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
A Compositional Semantics for Logic Programs. Theor. Comput. Sci. 122(1&2): 3-47 (1994) - [c50]Marco Comini, Giorgio Levi:
An Algebraic Theory of Observables. GULP-PRODE (1) 1994: 170-186 - [c49]Roberta Gori, Giorgio Levi:
Finite Failure is AND-Compositional. GULP-PRODE (1) 1994: 464-478 - [c48]Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo:
Compilative Constructive Negation in Constraint Logic Programs. CAAP 1994: 52-67 - [c47]Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi:
Abstracting Synchronization in Concurrent Constraint Programming. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - [c46]Marco Comini, Giorgio Levi, Giuliana Vitiello:
Abstract Debugging of Logic Program. META 1994: 440-450 - [c45]Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming. PLILP 1994: 57-72 - [c44]Marco Comini, Giorgio Levi:
An Algebraic Theory of Observables. ILPS 1994: 172-186 - [e6]Giorgio Levi, Mario Rodríguez-Artalejo:
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 [contents] - 1993
- [j19]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) - [j18]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) - [j17]Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modelling Prolog Control. J. Log. Comput. 3(6): 579-603 (1993) - [j16]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) - [c43]Alessio Guglielmi, Giorgio Levi:
Chemical Logic Programming? GULP 1993: 39-54 - [c42]Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo:
Intensional Negation in Constraint Logic Programs. GULP 1993: 359-374 - [c41]Alberto Bottoni, Giorgio Levi:
Computing in the Completion. GULP 1993: 375-392 - [c40]Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray:
Joining Abstract and Concrete Computations in Constraint Logic Programming. AMAST 1993: 109-126 - [c39]Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi:
Chemical Logic Programming? ICLP Workshop on Blackboard-Based Logic Programming 1993 - [c38]Giorgio Levi, Davide Ramundo:
A Formalization of Metaprogramming for real. ICLP 1993: 354-373 - [c37]Alberto Bottoni, Giorgio Levi:
The Inverse of Fitting's Functional. Kurt Gödel Colloquium 1993: 132-143 - [c36]Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Differential Logic Programming. POPL 1993: 359-370 - [p4]Paolo Ciancarini, Giorgio Levi:
What is Logic Programming good for in Software Engineering? Advances in Software Engineering and Knowledge Engineering 1993: 109-134 - 1992
- [j15]Maurizio Gabbrielli, Giorgio Levi:
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. Theor. Comput. Sci. 105(1): 85-128 (1992) - [c35]Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Contributions to the Semantics of Open Logic Programs. FGCS 1992: 570-580 - [c34]Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi:
A Generalized Semantics for Constraint Logic Programs. FGCS 1992: 581-591 - [c33]Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Observational Equivalences for Logic Programs. JICSLP 1992: 131-145 - [c32]Maurizio Gabbrielli, Giorgio Levi, Daniele Turi:
A Two Steps Semantics for Logic Programs with Negation. LPAR 1992: 297-308 - [c31]Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modeling Prolog Control. POPL 1992: 95-104 - [c30]Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli:
New Semantic Tools for Logic Programming. REX Workshop 1992: 204-235 - [c29]Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi:
Static Analysis of CLP Programs over Numeric Domains. WSA 1992: 43-50 - [e5]Hélène Kirchner, Giorgio Levi:
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 [contents] - 1991
- [j14]Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi:
Kernel-LEAF: A Logic plus Functional Language. J. Comput. Syst. Sci. 42(2): 139-185 (1991) - [c28]Maurizio Gabbrielli, Giorgio Levi:
On the Semantics of Logic Programs. ICALP 1991: 1-19 - [c27]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 - [c26]Maurizio Gabbrielli, Giorgio Levi:
Modeling Answer Constraints in Constraint Logic Programs. ICLP 1991: 238-252 - [c25]Giorgio Levi:
On the Semantics of Logic Programs. ICLP 1991: 945 - [c24]Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modelling Prolog Control. JTASPEFT/WSA 1991: 117-124 - [c23]Maurizio Gabbrielli, Giorgio Levi:
A Solved Form Algorithm for Ask and Tell Herbrand Constraints. TAPSOFT, Vol.1 1991: 320-337 - 1990
- [j13]Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami:
Nested Guarded Horn Clauses. Int. J. Found. Comput. Sci. 1(3): 249-264 (1990) - [j12]Moreno Falaschi, Giorgio Levi:
Finite Failures and Partial Computations in Concurrent Logic Languages. Theor. Comput. Sci. 75(1&2): 45-66 (1990) - [c22]Maurizio Gabbrielli, Giorgio Levi:
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. ALP 1990: 204-216 - [c21]Giorgio Levi:
A Unified Approach to Logic Programs Semantics based on Constraints. SPLT 1990: 583- - [c20]Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
Failure and Success made Symmetric. NACLP 1990: 3-22
1980 – 1989
- 1989
- [j11]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) - [e4]Giorgio Levi, Maurizio Martelli:
Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989. MIT Press 1989, ISBN 0-262-62065-0 [contents] - 1988
- [j10]Giorgio Levi, Catuscia Palamidessi:
Contributions to the Semantics of Logic Perpetual Processes. Acta Informatica 25(6): 691-711 (1988) - [j9]Giorgio Levi, Giuseppe Sardu:
Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language. New Gener. Comput. 6(2&3): 227-247 (1988) - [c19]Moreno Falaschi, Giorgio Levi:
Finite Failures and Partial Computations in Concurrent Logic Languages. FGCS 1988: 364-373 - [c18]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 - [c17]Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
A New Declarative Semantics for Logic Languages. ICLP/SLP 1988: 993-1005 - [c16]Giorgio Levi:
Models, Unfolding Rules and Fixpoint Semantics. ICLP/SLP 1988: 1649-1665 - [e3]Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi:
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 [contents] - 1987
- [c15]Giorgio Levi, Catuscia Palamidessi:
An Approach to the Declarative Semantics of Synchronization in Logic Languages. ICLP 1987: 877-893 - [c14]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 - [c13]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 - [e2]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). Lecture Notes in Computer Science 249, Springer 1987, ISBN 3-540-17660-8 [contents] - [e1]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). Lecture Notes in Computer Science 250, Springer 1987, ISBN 3-540-17611-X [contents] - 1986
- [j8]Marco Bellia, Giorgio Levi:
The Relation between Logic and Functional Languages: A Survey. J. Log. Program. 3(3): 217-236 (1986) - [c12]Giorgio Levi:
One, None, A Hundred Thousand Specification Languages - Response. IFIP Congress 1986: 1005-1008 - [p3]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 - [p2]Giorgio Levi:
Logic Programming: The Foundations, the Approach and the Role of Concurrency. Current Trends in Concurrency 1986: 396-441 - 1985
- [c11]Giorgio Levi, Catuscia Palamidessi:
The Declarative Semantics of Logical Read-Only Variables. SLP 1985: 128-137 - 1984
- [j7]Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi:
A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses. Inf. Control. 60(1-3): 36-69 (1984) - [c10]Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli:
On the Integration of Logic Programming and Functional Programming. SLP 1984: 160-166 - [p1]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 - 1983
- [j6]Giorgio Levi, A. M. Pegna:
Top-Down Mathematical Semantics and Symbolic Execution. RAIRO Theor. Informatics Appl. 17(1): 55-70 (1983) - [c9]Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi:
On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. Logic Programming Workshop 1983: 474-484 - [c8]Marco Bellia, Giorgio Levi, Maurizio Martelli:
On Compiling Prolog Programs on Demand Driven Architectures. Logic Programming Workshop 1983: 518-535 - 1982
- [c7]Roberto Barbuti, Pierpaolo Degano, Giorgio Levi:
Toward an Inductionless Technique for Proving Properties of Logic Programs. ICLP 1982: 175-181 - [c6]Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli:
Applicative communicating processes in first order logic. Symposium on Programming 1982: 1-14
1970 – 1979
- 1979
- [c5]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
- [c4]Marco Bellia, Giorgio Levi:
Distributed Control, Modularity and Data Types in a Simple Parallel Language. International Computing Symposium 1977: 441-450 - 1976
- [j5]Giorgio Levi, Franco Sirovich:
Generalized AND/OR Graphs. Artif. Intell. 7(3): 243-259 (1976) - 1975
- [c3]Giorgio Levi, Franco Sirovich:
Pattern Matching and Call by Pattern. GI Jahrestagung 1975: 491-499 - [c2]Giorgio Levi, Franco Sirovich:
A Problem Reduction Model for Non-Independent Subproblems. IJCAI 1975: 340-344 - [c1]Giorgio Levi, Franco Sirovich:
Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. MFCS 1975: 294-301 - 1974
- [j4]