Elio Giovannetti

According to our database, Elio Giovannetti authored at least 24 papers between 1983 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

On isomorphisms of intersection types.

Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta

ACM Trans. Comput. Log., 2010

2008

Types for ambient and process mobility.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti

Math. Struct. Comput. Sci., 2008

2005

A Mobility Calculus with Local and Dependent Types.

Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese

Proceedings of the Processes, 2005

2004

Type Inference for Mobile Ambients in Prolog.

Elio Giovannetti

Proceedings of Computing: The Australasian Theory Symposium, 2004

Dynamic and Local Typing for Mobile Ambients.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Mobility Types for Mobile Processes in Mobile Ambients.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

Ambient Calculi with Types: A Tutorial.

Elio Giovannetti

Proceedings of the Global Computing. Programming Environments, 2003

2002

The Relevance of Semantic Subtyping.

Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama

Proceedings of the Intersection Types and Related Systems, 2002

2001

From Bohm's Theorem to Observational Equivalences: an Informal Account.

Mariangiola Dezani-Ciancaglini, Elio Giovannetti

Proceedings of the Bohm's theorem: applications to Computer Science Theory, 2001

1992

An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language.

Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso

Proceedings of the Algorithms, Software, Architecture, 1992

1991

Comments on "Logic-Programming with Equations".

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi

J. Log. Program., 1991

Kernel-LEAF: A Logic plus Functional Language.

Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi

J. Comput. Syst. Sci., 1991

1988

Narrowing vs. SLD-Resolution.

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso

Theor. Comput. Sci., 1988

Narrowing and Resolution in Logic-Functional programming Languages (Abstract).

Elio Giovannetti

Proceedings of the Algebraic and Logic Programming, 1988

1987

Refined Strategies for Semantic Unification.

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.

Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

A Two-Level Approach to Logic plus Functional Programming Integration.

Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi

Proceedings of the PARLE, 1987

Notes on the Elimination of Conditions.

Elio Giovannetti, Corrado Moiso

Proceedings of the Conditional Term Rewriting Systems, 1987

1986

IDEAL: An Ideal Deductive Applicative Language.

Pier Giorgio Bosco, Elio Giovannetti

Proceedings of the 1986 Symposium on Logic Programming, 1986

A Completeness Result for E-unification Algorithms Based on Conditional Narrowing.

Elio Giovannetti, Corrado Moiso

Proceedings of the Foundations of Logic and Functional Programming, 1986

Some Aspects of the Integration between Logic Programming and Fiunctional Programming.

Elio Giovannetti, Corrado Moiso

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

A Prolog-Compiled Higher-Order Functional and Logic Language.

Pier Giorgio Bosco, Elio Giovannetti

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1984

A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications.

Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti

Proceedings of the Second International Logic Programming Conference, 1984

1983

Completeness Results for a Polymorphic Type System.

Mario Coppo, Elio Giovannetti

Proceedings of the CAAP'83, 1983