Вы здесь

Levi G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Semantics of Logic Programs 1991 Gabbrielli M., Levi G. Lecture Notes in Computer Science 11.09.1991
СТ Modelling Prolog Control 1991 Barbuti R., Codish M., Giacobazzi R., Levi G. BIGRE 11.12.1991
СТ A Two Steps Semantics for Logic Programs with Negation 1992 Gabrielli M., Levi G., Turi D. Lecture Notes in Artificial Intelligence 07.08.1992
СТ Static Analysis of CLP Programs over Numeric Domains 1992 Bagnara R., Giacobazzi R., Levi G. BIGRE 05.11.1992
СТ Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs 1992 Gabbrielli M., Levi G. Theoretical Computer Science 17.11.1992
СТ 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
СТ New Semantic Tools for Logic Programming 1993 Gabbrielli M., Levi G. Lecture Notes in Computer Science 11.06.1993
СТ The Inverse of Fitting s Functional 1993 Bottoni A., Levi G. Lecture Notes in Computer Science 21.09.1993
СТ 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
СТ Modeling Answer Constraints in Constraint Logic Programs 1991 Gabbrielli M., Levi G. Logic Programming: Proc./Eighth Intern. Conf. 19.09.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
СТ Abstracting Synchronization in Concurrent Constraint Programming 1994 Zaffanella E., Giacobazzi R., Levi G. Lecture Notes in Computer Science 12.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
СТ Models, Unfolding Rules and Fixpoint Semantics 1988 Levi G. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 17.10.1994
СТ Failure and Success made Symmetric 1990 Levi G., Martelli M., Palamidessi C. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ 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
СТ Abstract Debugging of Logic Programs 1994 Comini M., Levi G., Vitiello G. Lecture Notes in Computer Science 13.01.1995
СТ Declarative Diagnosis Revisited 1995 Comini M., Levi G. Logic Programming: Proc. of the 1995 Intern Symp. 24.04.1996
СТ 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
СТ 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
СТ 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
СТ Derivation of Proof Methods by Abstract Interpretation 1998 Levi G., Volpe P. Lecture Notes in Computer Science 13.10.1998
СТ Abstract Interpretation of Prolog Programs 1999 Spoto F., Levi G. Lecture Notes in Computer Science 05.02.1999
СТ On the Verification of Finite Failure 1999 Gori R., Levi G. Lecture Notes in Computer Science 27.10.1999
П 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
М 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
СТ 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
СТ Properties of a Type Abstract Interpreter 2003 Gori R., Levi G. Lecture Notes in Computer Science 31.01.2003