Newsgroups: fr.announce.seminaires
Distribution: fr
To: fr-sem@frmug.org
From: Didier.Remy@inria.COUPER-CECI.fr
Organization: INRIA-Rocquencourt
Subject: SEM - INRIA : Cristal - 11/2/2000 - Paris - FR

           http://pauillac.inria.fr/bin/calendar/Seminaires


                             S E M I N A I R E
       ____               ____                             ___                
      /    _   _         /     __     __  /_  _   /       /   |  _   __   _   
     /    / \ / \  ___  /     /  | / /_  /   __| /  ___  /___/  __| /  | __|  
    |___  |_/ |_/      |____ /    / __/ |_  |_/ |_      /      |_/ /    |_/   
               /                                                              
              /                                                               
                          I N R I A - Rocquencourt, 
                       Salle de conference du Bat 11

                         Vendredi 11 fevrier, 10h30

                              ----------------
                              Michele Bugliesi
                              ----------------

                     Università Ca' Foscari di Venezia

                            ====================
                            Typed Mobile Objects
                            ====================

We describe a general model for embedding object-oriented features in
calculi of mobile agents. The model results from extending agents with
methods and a primitive for method invocation. We then study an typed
instance of this model, called MA++, that is based on Cardelli and
Gordon's calculus of Mobile Ambients. We describe a type system for
MA++, give a proof of Subject Reduction, discuss the use of
the type system to statically detect run-time type errors and hint at
possible richer type systems for program verification.

This is joint work with Giuseppe Castagna, Silvia Crafa and Francesco
Zappa.