Skip to main content
SpringerLink
Log in

Flexible Types for a Concurrent Model

  • Chapter
  • First Online:
Concurrent Object-Oriented Programming and Petri Nets

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

  • 560 Accesses

Abstract

Subtyping is undoubtedly useful for the support of incremental refinement and reuse of software components, a crucial feature of object-oriented languages. Types and subtyping for concurrent languages are not yet explored sufficiently and tend to be less flexible than desired. We propose a flexible type model for concurrent languages. This model ensures statically that “message-not-understood-errors” do not occur at run-time even if object behavior is changed dynamically.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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.

References

  1. Gul Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.

    Google Scholar 

  2. Gul Agha, Peter Wegner, and Akinori Yonezawa, editors. Research Directions in Concurrent Object-Oriented Programming. MIT Press, 1993.

    Google Scholar 

  3. J. C. M. Baeten and W. P. Weijland. Process Algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1990.

    Google Scholar 

  4. Grady Booch. Object-Oriented Analysis and Design with Applications. Benjamin-Cummings, Redwood City, California, second edition, 1994.

    Google Scholar 

  5. Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4):471–522, 1985.

    Article  Google Scholar 

  6. Simon J. Gay. A sort inference algorithm for the polyadic π-calculus. In Conference Record of the 20th Symposium on Principles of Programming Languages, January 1993.

    Google Scholar 

  7. David Gelernter and Nicholas Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):96–107, February 1992.

    Article  Google Scholar 

  8. Carl A. Gunter and John C. Mitchell, editors. Theoretical Aspects of Object-Oriented Programming; Types, Semantics, and Language Design. MIT Press, 1994.

    Google Scholar 

  9. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666–677, August 1978.

    Article  MATH  MathSciNet  Google Scholar 

  10. Naoki Kobayashi and Akinori Yonezawa. Type-theoretic foundations for concurrent object-oriented programming. ACM SIGPLAN Notices, 29(10):31–45, October 1994. Proceedings OOPSLA’94.

    Article  Google Scholar 

  11. Barbara H. Liskov and Jeannette M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811–1841, November 1994.

    Article  Google Scholar 

  12. Bertrand Meyer. Systematic concurrent object-oriented programming. Communications of the ACM, 36(9):56–80, September 1993.

    Article  Google Scholar 

  13. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (parts I and II). Information and Computation, 100:1–77, 1992.

    Article  MATH  MathSciNet  Google Scholar 

  14. Flemming Nielson and Hanne Riis Nielson. From CML to process algebras. In Proceedings CONCUR’93, number 715 in Lecture Notes in Computer Science, pages 493–508. Springer-Verlag, 1993.

    Google Scholar 

  15. Oscar Nierstrasz. Regular types for active objects. ACM SIGPLAN Notices, 28(10):1–15, October 1993. Proceedings OOPSLA’93.

    Article  Google Scholar 

  16. Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. In Proceedings LICS’93, 1993.

    Google Scholar 

  17. Franz Puntigam. Type specifications with processes. In Proceedings FORTE’95, Montreal, Canada, October 1995. IFIP WG 6.1, Chapman & Hall.

    Google Scholar 

  18. Franz Puntigam. Types for active objects based on trace semantics. In Elie Najm et al., editor, Proceedings FMOODS’ 96, Paris, France, March 1996. IFIP WG 6.1, Chapman & Hall.

    Google Scholar 

  19. Franz Puntigam. Coordination requirements expressed in types for active objects. In Mehmet Aksit and Satoshi Matsuoka, editors, Proceedings ECOOP’ 97, number 1241 in Lecture Notes in Computer Science, Jyväskylä, Finland, June 1997. Springer-Verlag.

    Google Scholar 

  20. Franz Puntigam. Types that reflect changes of object usability. In Proceedings of the Joint Modular Languages Conference, number 1204 in Lecture Notes in Computer Science, Linz, Austria, March 1997. Springer-Verlag.

    Google Scholar 

  21. Vasco T. Vasconcelos. Typed concurrent objects. In Proceedings ECOOP’94, number 821 in Lecture Notes in Computer Science. Springer-Verlag, 1994.

    Google Scholar 

  22. Peter Wegner and Stanley B. Zdonik. Inheritance as an incremental modification mechanism or what like is and isn’t like. In S. Gjessing and K. Nygaard, editors, Proceedings ECOOP’88, number 322 in Lecture Notes in Computer Science, pages 55–77. Springer-Verlag, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Computersprachen, Technische Universität Wien, Argentinierstr. 8, 1040, Vienna, Austria

    Franz Puntigam

Authors
  1. Franz Puntigam
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, 1304 West Springfield Avenue, 61801-2987, Urbana, Illinois, USA

    Gul A. Agha

  2. Computer Science Department, University of Milan, via Comelico 39/41, 20135, Milan, Italy

    Fiorella De Cindio

  3. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Puntigam, F. (2001). Flexible Types for a Concurrent Model. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-45397-0_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41942-6

  • Online ISBN: 978-3-540-45397-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation