|
СТ |
Properties of a Type Abstract Interpreter |
2003 |
Gori R., Levi G. |
|
|
|
Lecture Notes in Computer Science |
31.01.2003 |
|
СТ |
Abstract Interpretation Basedd Semantics of Sequent Calculy |
2000 |
Amato G., Levi G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.2000 |
|
М |
Programming Environments: Deriving Language Dependent Tools from Structured Denotational Semantics |
1982 |
Barbuti R., Bellina M., Degano P., Levi G., Martelli A. |
|
|
Istituto di Scienze dell Informazione |
|
02.08.2000 |
|
П |
Towards the Derivation of an Experimental Programming Environment from Language Formal Specifications |
1981 |
Barbuti R., Bellia M., Martelli A., Dameri E., Simonelli C., Degano P., Levi G. |
|
|
Progetto Finalizzato Informatica |
|
02.08.2000 |
|
СТ |
On the Verification of Finite Failure |
1999 |
Gori R., Levi G. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
Abstract Interpretation of Prolog Programs |
1999 |
Spoto F., Levi G. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
|
СТ |
Derivation of Proof Methods by Abstract Interpretation |
1998 |
Levi G., Volpe P. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs |
1998 |
Levi G., Spoto F. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
Proving Properties of Logic Programs by Abstract Diagnosis |
1997 |
Comini M., Levi G., Meo M. C., Vitiello G. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
Compositionality in SLD-derivations and their Abstractions |
1995 |
Comini M., Levi G., Meo M. C. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
Declarative Diagnosis Revisited |
1995 |
Comini M., Levi G. |
|
|
|
Logic Programming: Proc. of the 1995 Intern Symp. |
24.04.1996 |
|
СТ |
Abstract Debugging of Logic Programs |
1994 |
Comini M., Levi G., Vitiello G. |
|
|
|
Lecture Notes in Computer Science |
13.01.1995 |
|
СТ |
Observational Equivalences for Logic Programs |
1992 |
Gabbrielli M., Levi G., Meo M. C. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
15.12.1994 |
|
СТ |
Failure and Success made Symmetric |
1990 |
Levi G., Martelli M., Palamidessi C. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
|
СТ |
Models, Unfolding Rules and Fixpoint Semantics |
1988 |
Levi G. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
17.10.1994 |
|
СТ |
A New Declarative Semantics for Logic Languages |
1988 |
Falaschi M., Levi G., Martelli M., Palamidessi C. |
|
|
|
Logic Programming: Proc./Fifth Intern.Conf. and Symp. |
13.10.1994 |
|
СТ |
Abstracting Synchronization in Concurrent Constraint Programming |
1994 |
Zaffanella E., Giacobazzi R., Levi G. |
|
|
|
Lecture Notes in Computer Science |
12.10.1994 |
|
СТ |
Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment |
1988 |
Coscia P., Franceschi P., Levi G., Sardu G., Torre L. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
30.09.1994 |
|
СТ |
Modeling Answer Constraints in Constraint Logic Programs |
1991 |
Gabbrielli M., Levi G. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
|
СТ |
Compilative Constructive Negation in Constraint Logic Programs |
1994 |
Bruscoli P., Levi F., Levi G., Meo M. C. |
|
|
|
Lecture Notes in Computer Science |
30.04.1994 |
|
СТ |
The Inverse of Fitting s Functional |
1993 |
Bottoni A., Levi G. |
|
|
|
Lecture Notes in Computer Science |
21.09.1993 |
|
СТ |
New Semantic Tools for Logic Programming |
1993 |
Gabbrielli M., Levi G. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
|
СТ |
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs |
1993 |
Barbuti R., Giacobazzi R., Levi G. |
|
|
|
ACM Trans. Programming Languages and Systems |
16.03.1993 |
|
СТ |
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs |
1992 |
Gabbrielli M., Levi G. |
|
|
|
Theoretical Computer Science |
17.11.1992 |
|
СТ |
Static Analysis of CLP Programs over Numeric Domains |
1992 |
Bagnara R., Giacobazzi R., Levi G. |
|
|
|
BIGRE |
05.11.1992 |
|
СТ |
A Two Steps Semantics for Logic Programs with Negation |
1992 |
Gabrielli M., Levi G., Turi D. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.08.1992 |
|
СТ |
Modelling Prolog Control |
1991 |
Barbuti R., Codish M., Giacobazzi R., Levi G. |
|
|
|
BIGRE |
11.12.1991 |
|
СТ |
On the Semantics of Logic Programs |
1991 |
Gabbrielli M., Levi G. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
