Skip to main content

Subtyping and Matching for Mobile Objects

  • Conference paper
  • First Online:
Theoretical Computer Science (ICTCS 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2202))

Included in the following conference series:

  • 419 Accesses

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. M. Abadi and L. Cardelli. A Theory of Objects. Springer, 1996.

    Google Scholar 

  2. V. Bono and M. Bugliesi. Matching for the Lambda Calculus of Objects. Theoretical Computer Science, 212(1/2):101–140, Feb. 1999.

    Article  MATH  MathSciNet  Google Scholar 

  3. M. Bugliesi and G. Castagna. Mobile objects. In 7th Workshop on Foundation of Object-Oriented Languages, Boston, 2000. Electronic Proceedings.

    Google Scholar 

  4. 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.

    Chapter  Google Scholar 

  5. B. Bruce, K. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 1(4):127–206, 1994.

    Article  MathSciNet  Google Scholar 

  6. L. Cardelli. A language with distributed scope. Computing Systems, 8(1):27–59, 1995.

    Google Scholar 

  7. L. Cardelli. Abstractions for mobile computations. In Secure Internet Programming, number 1603 in Lecture Notes in Computer Science, pages 51–94. Springer, 1999.

    Chapter  Google Scholar 

  8. L. Cardelli and A. Gordon. Mobile ambients. In Proceedings of POPL’ 98. ACM Press, 1998.

    Google Scholar 

  9. L. Cardelli and A. Gordon. Types for mobile ambients. In Proceedings of POPL’ 99, pages 79–92. ACM Press, 1999.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    MATH  MathSciNet  Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. H. Huttel and J. Kleist. Objects as mobile processes. Technical Report Research Series RS-96-38, BRICS, 1996. Presented at MFPS’ 96.

    Google Scholar 

  15. A. Jeffrey. A distributed object calculus. In 7th Workshop on Foundation of Object-Oriented Languages, Boston, 2000. Electronic Proceedings.

    Google Scholar 

  16. J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. In PROCOMET’ 98 (IFIP Working Conference on Programming Concepts and Methods). North-Holland, 1998.

    Google Scholar 

  17. F. Levi and D. Sangiorgi. Controlling interference in Ambients. In POPL’ 00, pages 352–364. ACM Press, 2000.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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.

    Chapter  Google Scholar 

  20. D. Sangiorgi. An interpretation of typed objects into typed π-calculus. Information and Computation, 143(1):34–73, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  21. 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.

    Google Scholar 

  22. D.J Walker. Objects in the π-calculus. Information and Computation, 116(2):253–271, 1995.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Publish with us

Policies and ethics