Skip to main content
SpringerLink
Log in

Object-Oriented Specification with the Parallel Multi-Label-Selective λ-calculus

  • Conference paper
  • First Online:
SOFSEM’99: Theory and Practice of Informatics (SOFSEM 1999)

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

Abstract

LCEP is a calculus for modeling concurrent systems. The efforts to use it to represent object-oriented features have been successfully treated in previous papers, but some of the problems are unsolved for the lacks of the initial calculus. We present LCMEP, an extension of LCEP which is able to represent the operational semantics of π-calculus and it supports also the commendable characteristics of λ-calculus. By using the power of the calculus, it is possible to represent object-oriented programming language features. We present an operational semantics for a parallel object-oriented programming language by means of a phraseby- phrase translation from the language into LCMEP.

This work was partially supported by CICYT, TIC 98-0445-C03-01.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. H. Aït-Kaci and J. Garrigue. Label-Selective λ-Calculus: Syntax and Confluence. In Proc. of the 13 th Int. Conf. on Foundations of Software Technology and T.C.S., volume 761 of LNCS. Springer-Verlag, Berlin, 1993.

    Google Scholar 

  2. P. America, J. de Bakker, J. Kok, and J. Rutten. Operational Semantics of a Parallel Object-Oriented language. In Proc. of the 13 th Symposium on Principles of Programming Languages, pages 194–208, 1986.

    Google Scholar 

  3. P. America and J. Rutten. A parallel object-oriented language: design and semantic foundations, pages 1–49. Willey Series in Parallel Computing. J. W. de Bakker, 1990.

    Google Scholar 

  4. G. Berry and G. Boudol. The Chemical Abstract Machine. In Proc. of 20 th ACM Annual Symp. on P. P. L., pages 81–93, ACM Press, 1993.

    Google Scholar 

  5. L. Climent, M. L. Llorens, and J. Oliver. Building an interpreter for label-selective λ-calculus. In B. Clares, editor, Proc. of II Jornadas de Informática, pages 325–334. Asociaciön Española de Informática y Automática, Almuñecar (Spain), 1996.

    Google Scholar 

  6. C. Herrero and J. Oliver. Object-oriented parallel label-selective λ-calculus. BRICS Notes Series (NS-98-5), pages 7–15, 1998.

    Google Scholar 

  7. C. Herrero and J. Oliver. Parallel multi-label-selective λ-Calculus: An object-oriented proposal. Technical Report DSIC-II/10/99, UPV, 1999.

    Google Scholar 

  8. R. Milner. The polyadic π-calculus: A tutorial. In F. L. Brauer, W. Bauer, and H. Schwichtenberg, editors, Logic and Algebra of Specifications. Springer-Verlag, Berlin, 1993.

    Google Scholar 

  9. J. Oliver. Extension of λ-calculus for Modelling Concurrent Processes. PhD thesis, DSIC (UPV), 1996.

    Google Scholar 

  10. D. Walker. Objects in the π-calculus. In Information and Computation, volume 116, pages 253–271. 1995.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DSIC, Universidad Politèecnica de Valèencia, Camino de Vera s/n, 46022, València, Spain

    Carlos Herrero & Javier Oliver

Authors
  1. Carlos Herrero
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Javier Oliver
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DCIT, s.r.o, J. Martího 2/407, 162 02, Prague 6, Czech Republic

    Jan Pavelka

  2. Department of Computer Science, University of Utrecht, Padualaan 14, 3584, CH, Utrecht, The Netherlands

    Gerard Tel

  3. Institute of Computer Science, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic

    Miroslav Bartošek

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Herrero, C., Oliver, J. (1999). Object-Oriented Specification with the Parallel Multi-Label-Selective λ-calculus. In: Pavelka, J., Tel, G., Bartošek, M. (eds) SOFSEM’99: Theory and Practice of Informatics. SOFSEM 1999. Lecture Notes in Computer Science, vol 1725. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47849-3_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-47849-3_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66694-3

  • Online ISBN: 978-3-540-47849-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation