Skip to main content

A typing system for a calculus of objects

  • Conference paper
  • First Online:
Object Technologies for Advanced Software (ISOTAS 1993)

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

Included in the following conference series:

Abstract

The present paper introduces an implicitly typed object calculus intended to capture intrinsic aspects of concurrent objects communicating via asynchronous message passing, together with a typing system assigning typings to terms in the calculus. Types meant to describe the kind of messages an object may receive are assigned to the free names in a program, resulting in a scenario where a program is assigned multiple name-type pairs, constituting a typing for the process. Programs that comply to the typing discipline are shown not to suffer from runtime errors. Furthermore the calculus possesses a notion of principal typings, from which all typings that make a program well-typed can be extracted. We present an efficient algorithm to extract the principal typing of a process.

To appear in the Proceedings of the International Symposium on Object Technologies for Advanced Software (ISOTAS), Springer-Verlag, LNCS, November 1993.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Carl Hewitt. Viewing control structures as patterns of passing messages. Artificial Inteligence, 8(3):323–364, 1977.

    Article  Google Scholar 

  2. Kohei Honda. Types for Dyadic Interaction. In Proceedings of CONCUR'93, Springer-Verlag, LNCS, August 1993.

    Google Scholar 

  3. Kohei Honda and Mario Tokoro. An Object Calculus for Asynchronous Communication. In 1991 European Conference on Object-Oriented Computing, pages 141–162, Springer-Verlag, 1991. LNCS 512.

    Google Scholar 

  4. Robin Milner. The Polyadic π-Calculus: a Tutorial. ECS-LFCS 91-180, University of Edinburgh, October 1991.

    Google Scholar 

  5. Atsushi Ohori. A compilation method for ML-style polymorphic record calculi. In 19th ACM Symposium on Principles of Programming Languages, pages 154–165, 1992.

    Google Scholar 

  6. Vasco T. Vasconcelos. A predicative polymorphic type system for the polyadic π-calculus. May 1993. Keio University.

    Google Scholar 

  7. Vasco T. Vasconcelos and Kohei Honda. Principal typing-schemes in a polyadic π-calculus. In Proceedings of CONCUR'93, Springer-Verlag, LNCS, August 1993.

    Google Scholar 

  8. Mitchell Wand. A simple algorithm and proof for type inference. Fundamenta Informaticae, X:115–122, 1987. North-Holland.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Shojiro Nishio Akinori Yonezawa

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vasconcelos, V.T., Tokoro, M. (1993). A typing system for a calculus of objects. In: Nishio, S., Yonezawa, A. (eds) Object Technologies for Advanced Software. ISOTAS 1993. Lecture Notes in Computer Science, vol 742. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57342-9_89

Download citation

  • DOI: https://doi.org/10.1007/3-540-57342-9_89

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57342-5

  • Online ISBN: 978-3-540-48075-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics