António Ravara, Luís Lopes  Home/Search
Context Related
| ncc.up.pt/fcup/DCC/Pub...dcc991.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: ncc.up.pt/fcup/DCC/Pub...treports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present an abstract machine speci cation for non-uniform TyCO. It is, up to our knowledge, the rst proposal of an abstract machine to compile a process calculus of nonuniform objects. TyCO is a name-passing calculus of concurrent objects. Since concurrent objects do not always o er the same methods due to synchronisation constraints, we advocate nonuniform interfaces, i.e., interfaces with only enabled methods. From the programming point of view the use of non-uniform interfaces for... (Update)
Context of citations to this paper: More
...obvious question arises, whether this subcalculus is less expressive. Ultimately, however, we are interested in non uniform TyCO [RL99, RV00, Rav], proposed by Ravara, which admits that objects may change their interface over time. It is instructive to try to understand the...
Cited by: More
Typing Non-uniform Concurrent Objects - Antonio Ravara And (1999) (Correct)
What's TyCO, After All? - Nestmann, Ravara (2000) (Correct)
Similar documents (at the sentence level):
79.8%: Programming and Implementation Issues in Non-Uniform TyCO - Ravara, Lopes (1999) (Correct)
12.4%: Typing Non-Uniform Concurrent Objects - Ravara, Vasconcelos (1999) (Correct)
9.8%: On the Design and Implementation of a Virtual Machine for Process.. - Lopes (1999) (Correct)
Active bibliography (related documents): More All
0.5: A Virtual Machine for a Process Calculus - Lopes, Silva, Vasconcelos (Correct)
0.4: Fine Grained Multithreading with Process Calculi - Lopes, Silva (2000) (Correct)
0.2: A Framework for Compiling Object Calculi - Lopes, Silva, Vasconcelos (1997) (Correct)
Similar documents based on text: More All
0.3: What is TyCO? - Typed Concurrent (Correct)
0.3: Tyco Is TyCO User's Manual - Luís Lopes, Fernando Silva.. (1999) (Correct)
0.2: Operational Semantics and Type System for GNOME on Typed.. - Ravara, Vasconcelos (1996) (Correct)
Related documents from co-citation: More All
2: Typing Non-uniform Concurrent Objects - onio, Vasco et al. - 1999
2: On asynchrony in name-passing calculi - Merro, Sangiorgi - 1998
2: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
A. Ravara and L. Lopes. Programming and Implementation Issues in NonUniform TyCO. Technical Report DCC-99-1, Universidade do Porto, 1999. http://citeseer.ist.psu.edu/ravara99programming.html More
@techreport{ ravara99programming,
author = "Ant{\'o}nio Ravara and Lu{\`\i}s Lopes",
title = "Programming and Implementation Issues in Non-Uniform {TyCO}",
number = "DCC-99-1",
year = "1999",
url = "citeseer.ist.psu.edu/ravara99programming.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
294 An Object Calculus for Asynchronous Communication - Honda, Tokoro - 1991
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
114 The Polymorphic Pi-calculus: Theory and Implementation - Turner - 1995
114 Regular types for active objects - Nierstrasz - 1995
59 A Typing System for a Calculus of Objects - Vasconcelos, Tokoro - 1993
53 Quasi-Linear Types - Kobayashi - 1999
45 Actors: A Conceptual Foundation for Concurrent Object-Orient.. (context) - Agha, Hewitt - 1981
31 Typing the use of resources in a concurrent calculus (context) - Boudol - 1997
22 Typing Non-uniform Concurrent Objects - onio, Vasco et al. - 1999
22 Behavioural Types for a Calculus of Concurrent Objects - onio, Vasco et al. - 1997
21 Towards foundations of concurrent object-oriented programmin.. (context) - Kobayashi, Yonezawa - 1995
16 A Virtual Machine for the TyCO Process Calculus (context) - Lopes, Silva et al. - 1999
15 Journal of Information and Computation (context) - Walker, the - 1995
11 Asynchrony and the -calculus (context) - Boudol - 1992
9 An Abstract Machine for an Object-Calculus (context) - Lopes, Vasconcelos - 1997
5 Linearity and the -calculus (context) - Kobayashi, Pierce et al. - 1996
2 Technical report DI/FCUL TR (context) - Vasconcelos, Bastos et al. - 1998
Documents on the same site (http://www.ncc.up.pt/fcup/DCC/Pubs/treports.html): More
The theorems of the formal system MIU - Matos (1997) (Correct)
YapOr: an Or-Parallel Prolog System based on Environment.. - Rocha, Silva, Costa (1997) (Correct)
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems - Correia, Silva, Costa (1997) (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