2005 | ||
---|---|---|
115 | EE | 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 | EE | Roberta Gori, Giorgio Levi: Properties of a Type Abstract Interpreter. VMCAI 2003: 132-145 |
112 | EE | Giorgio Levi, Fausto Spoto: Pair-independence and freeness analysis through linear refinement. Inf. Comput. 182(1): 14-52 (2003) |
111 | EE | 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 | EE | Roberta Gori, Giorgio Levi: An Experiment in Type Inference and Verification by Abstract Interpretation. VMCAI 2002: 225-239 |
2001 | ||
109 | EE | Marco Comini, Roberta Gori, Giorgio Levi: How to Transform an Analyzer into a Verifier. LPAR 2001: 595-609 |
108 | EE | 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 | EE | 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 | EE | Giorgio Levi: Abstract Interpretation Based Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 40: (2000) |
102 | EE | 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 | EE | 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 | EE | 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 | EE | Giorgio Levi, Paolo Volpe: Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP 1998: 102-117 |
90 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |