Pascal Zimmer  Home/Search
Context Related
| sop.inria.fr/mimosa/p...fossacs00.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sop.inria.fr/mimosa/p...engPublis (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The ambient calculus was designed to model mobile processes and study their properties. A rst type system was proposed by Cardelli-Gordon-Ghelli to prevent run-time faults. We extend it by introducing subtyping and present a type-checking algorithm which returns a minimal type relatively to this system. By the way, we also add two new constructs to the language. Finally, we remove the type annotations from the syntax and give a type-inference algorithm for the original type system. (Update)
Similar documents based on text: More All
0.8: Subtyping and Typing Algorithms for Mobile Ambients - Zimmer (2000) (Correct)
0.6: Lambda Group Subtyping and Typing Algorithms for Mobile Ambients - Zimmer (Correct)
0.6: On the Expressiveness of Pure Safe Ambients - Zimmer (2002) (Correct)
Related documents from co-citation: More All
25: Types for mobile ambients - Cardelli, Gordon - 1999
23: Controlling interference in ambients - Levi, Sangiorgi - 2000
21: Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999
BibTeX entry: (Update)
P. Zimmer. Subtyping and Typing Algorithms for Mobile Ambients. Internship Report { Ecole Normale Superieure de Lyon, 1999. Available at http://www.ens-lyon.fr/pzimmer/. http://citeseer.ist.psu.edu/zimmer99subtyping.html More
@article{ zimmer00subtyping,
author = "Pascal Zimmer",
title = "Subtyping and Typing Algorithms for Mobile Ambients",
journal = "Lecture Notes in Computer Science",
volume = "1784",
pages = "375--??",
year = "2000",
url = "citeseer.ist.psu.edu/zimmer99subtyping.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/engPublis.html): More
Recursion in the Call-by-Value λ-Calculus - Boudol, Zimmer (2002) (Correct)
Lambda Group Subtyping and Typing Algorithms for Mobile Ambients - Zimmer (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkopf (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC