Abstract
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli and Gordon’s Mobile Ambients. Here, we refine our earlier work and de.ne a new calculus which is based on Remote Procedure Call as the underlying protocol for method invocation, and on a different typing technique for method bodies. The new type system is equipped with a subtyping and a matching relation: the combination of matching with subtyping provides new insight into the relationship between ambient opening in the new calculus and method overriding in object-oriented calculi.
Work partially supported by MURST Project 9901403824 003, by CNRS Program Telecommunications: “Collaborative, distributed, and secure programming for Internet”, and by Galileo Action n. 02841UD
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Abadi and L. Cardelli. A Theory of Objects. Springer, 1996.
V. Bono and M. Bugliesi. Matching for the Lambda Calculus of Objects. Theoretical Computer Science, 212(1/2):101–140, Feb. 1999.
M. Bugliesi and G. Castagna. Mobile objects. In 7th Workshop on Foundation of Object-Oriented Languages, Boston, 2000. Electronic Proceedings.
M. Bugliesi, G. Castagna, and S. Crafa. Typed mobile objects. In Proceedings of CONCUR 2000 (11th. International Conference on Concurrency Theory), number 1877 in Lecture Notes in Computer Science, pages 504–520. Springer, 2000.
B. Bruce, K. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 1(4):127–206, 1994.
L. Cardelli. A language with distributed scope. Computing Systems, 8(1):27–59, 1995.
L. Cardelli. Abstractions for mobile computations. In Secure Internet Programming, number 1603 in Lecture Notes in Computer Science, pages 51–94. Springer, 1999.
L. Cardelli and A. Gordon. Mobile ambients. In Proceedings of POPL’ 98. ACM Press, 1998.
L. Cardelli and A. Gordon. Types for mobile ambients. In Proceedings of POPL’ 99, pages 79–92. ACM Press, 1999.
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP’ 99, number 1644 in Lecture Notes in Computer Science, pages 230–239. Springer, 1999.
K. Fisher, F. Honsell, and J. C. Mitchell. A Lambda Calculus of Objects and Method Specialization. Nordic Journal of Computing, 1(1):3–37, 1994.
Cédric Fournet, Luc Maranget, Cosimo Laneve, and Didier Rémy. Inheritance in the Join Calculus. In Foundations of Software Technology and Theoretical Computer Science, volume 1974 of Lecture Notes in Computer Science. Springer, December 2000.
A. Gordon and P. D Hankin. A concurrent object calculus: reduction and typing. In Proceedings HLCL’ 98, Elsevier ENTC, 1998. Also Technical Report 457, University of Cambridge Computer Laboratory, February 1999.
H. Huttel and J. Kleist. Objects as mobile processes. Technical Report Research Series RS-96-38, BRICS, 1996. Presented at MFPS’ 96.
A. Jeffrey. A distributed object calculus. In 7th Workshop on Foundation of Object-Oriented Languages, Boston, 2000. Electronic Proceedings.
J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. In PROCOMET’ 98 (IFIP Working Conference on Programming Concepts and Methods). North-Holland, 1998.
F. Levi and D. Sangiorgi. Controlling interference in Ambients. In POPL’ 00, pages 352–364. ACM Press, 2000.
U Nestmann, H. Huttel, J. Kleist, and M. Merro. Aliasing models for object migration. In Proceedings of Euro-Par’ 99, number 1685 in Lecture Notes in Computer Science, pages 1353–1368. Springer, 1999.
B. C. Pierce and D. N. Turner. Concurrent objects in a process calculus. In Takayasu Ito and Akinori Yonezawa, editors, Theory and Practice of Parallel Programming, Sendai, Japan (Nov. 1994), number 907 in Lecture Notes in Computer Science, pages 187–215. Springer, April 1995.
D. Sangiorgi. An interpretation of typed objects into typed π-calculus. Information and Computation, 143(1):34–73, 1998.
V. T. Vasconcelos. Typed concurrent objects. In M. Tokoro and R. Pareschi, editors, ECOOP’ 94, number 821 in Lecture Notes in Computer Science, pages 100–117. Springer, 1994.
D.J Walker. Objects in the π-calculus. Information and Computation, 116(2):253–271, 1995.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bugliesi, M., Castagna, G., Crafa, S. (2001). Subtyping and Matching for Mobile Objects. In: Theoretical Computer Science. ICTCS 2001. Lecture Notes in Computer Science, vol 2202. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45446-2_15
Download citation
DOI: https://doi.org/10.1007/3-540-45446-2_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42672-1
Online ISBN: 978-3-540-45446-5
eBook Packages: Springer Book Archive