Davide Sangiorgi  Home/Search
Context Related
| inria.fr/INRIA/publicat...RR3000.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: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An interpretation of Abadi and Cardelli's first-order functional Object Calculus [AC94b] into a typed -calculus is presented. The interpretation validates the subtyping relation and the typing judgements of the Object Calculus, and is computationally adequate. The type language for the -calculus is that in [PS93] a development of Milner's sorting discipline [Mil91] with I/O annotations to separate the capabilities of reading and writing on a channel but with variants in place of tuples. Types... (Update)
Context of citations to this paper: More
...since a reduction can be incorrect because of an arity mismatch. An other constraint on the use of names is introduced by D. Sangiorgi [9] [10] and concerns the directionality of names, that is, their ability to be used as emitters, receivers or both (or none) This name usage...
.... has demonstrated that Abadi and Cardelli s first order functional Object Calculus [AC96] can be faithfully translated to the # calculus [San96] The design of PICCOLA owes a great deal to the experimental programming language PICT [PT97] PICT s programming constructs are...
Cited by: More
Preuve de la conservation des types du π-calcul en COQ - Henry-Gréard (1998) (Correct)
Actors: A Model for Reasoning about Open Distributed Systems - Agha, Thati, Ziaei (2001) (Correct)
PICCOLA - a Small Composition Language - Achermann, Lumpe, Schneider.. (1999) (Correct)
Active bibliography (related documents): More All
0.5: Implicit Polymorphic Type System for the Blue Calculus - Dal-Zilio (1997) (Correct)
0.3: An Interpretation of Typed Concurrent Objects in the Blue Calculus - Dal-Zilio (1999) (Correct)
0.2: Responsive Bisimulation - Zhang, Potter (Correct)
Similar documents based on text: More All
0.2: On Bisimulations for the Asynchronous π-Calculus - Amadio, Castellani, Sangiorgi (1996) (Correct)
0.2: Imperative Objects and Mobile Processes - Kleist, Sangiorgi (1997) (Correct)
0.2: Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1997) (Correct)
Related documents from co-citation: More All
3: The polyadic Pi-calculus: a tutorial - Milner - 1991
2: Information and Computation (context) - Walker, the - 1995
2: A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
BibTeX entry: (Update)
Davide Sangiorgi. An interpretation of typed objects into typed pi-calculus. INRIA RR-3000, http://citeseer.ist.psu.edu/sangiorgi96interpretation.html More
@article{ sangiorgi98interpretation,
author = "Davide Sangiorgi",
title = "An Interpretation of Typed Objects into Typed $\pi$--Calculus",
journal = "Information and Computation",
volume = "143",
number = "1",
pages = "34--73",
year = "1998",
url = "citeseer.ist.psu.edu/sangiorgi96interpretation.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
248 Expressing Mobility (context) - Sangiorgi - 1992
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1996
197 Barbed bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1993 DBLP
127 Information and Computation (context) - Walker, the - 1995 DBLP
114 The polymorphic pi-calculus: Theory and Implementation - Turner - 1996
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996 ACM DBLP
67 Composing processes - Honda - 1996 ACM DBLP
62 Issues in the design of a parallel object-oriented language (context) - America - 1989 ACM DBLP
59 A typing system for a calculus of objects - Vasconcelos, Tokoro - 1993 ACM DBLP
41 A theory of primitive objects: Second-order systems - Abadi, Cardelli - 1994 DBLP
31 An imperative object calculus - Abadi, Cardelli - 1995 ACM DBLP
26 calculus semantics for an object-based design notation (context) - Jones - 1993
22 Principal typing schemes in a polyadic - calculus - Vasconcelos, Honda - 1993
20 An interpretation of Objects and Objects Types - Abadi, Cardelli et al. - 1996
20 Polarized name passing (context) - Odersky - 1995 ACM DBLP
14 Bisimilarity for a rst-order calculus of objects with subtyp.. (context) - Gordon, Rees - 1996
10 The ReAEexive Chemical Abstract Machine and the Join calculu.. (context) - Fournet, Gonthier - 1996
7 A theory of primitive objects: Untyped and rst-order systems (context) - Abadi, Cardelli - 1994
6 Objects as mobile processes - ttel, Kleist - 1996
4 Inheritance in Smalltalk-80: a denotational denition (context) - Kamin - 1988
2 the expresiveness of internal mobility in name-passing calcu.. (context) - Boreale - 1996
1 Partial conAEuence of processes and systems of objects (context) - Liu, Walker - 1996
1 available electronically as ftp://ftp (context) - Sangiorgi, mobile et al. - 1995
1 INRIA An interpretation of Typed Objects into Typed -calculu.. (context) - Amadio, failures et al. - 1996
1 Personal communications on work in progress (context) - Palsberg - 1996
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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