Skip to main content
SpringerLink
Log in
Book cover

Workshop on Research Directions in High-Level Parallel Programming Languages

HLPPP 1991: Reasearch Directions in High-Level Parallel Programming Languages pp 126–146Cite as

Lucinda — A polymorphic Linda

  • Conference paper
  • First Online:

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

Abstract

This document describes the courting of Linda (a coordination language) by Russell (a computation language), and the subsequent conception of their child Lucinda. Mother and baby are both doing well.

A number of deficiencies of the standard Linda dialect, C-Linda, are identified, and a new language, Lucinda, is proposed to overcome them. Lucinda provides dynamically created multiple tuple spaces and polymorphism via the type system of Russell. A formal semantics and proof rule system is given in a categorical framework.

This work is supported by a SERC Studentship

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abarbanel, R. & Janin, A. Distributed Object Management with Linda. Advanced Technology Group, Apple Computer Inc. Technical Report, September 1989.

    Google Scholar 

  2. Boehm, H., Demers, A. & Donahue, J. An Informal Description of Russell. Department of Computer Science, Cornell University. Technical Report TR 80-430, October 1980.

    Google Scholar 

  3. Brinch Hansen, P. Distributed processes: A concurrent programming concept Communications of the ACM, 21(11) pp 934–940, November 1978.

    Google Scholar 

  4. Brinch Hansen, P. The programming language Concurrent Pascal. Transactions on Software Engineering, 1(2) pp 199–207, June 1975.

    Google Scholar 

  5. Bruce, D. A Strongly-Typed Approach to Parallel Systems. Royal Signals and Radar Establishment, Malvern. Position paper, 1991.

    Google Scholar 

  6. Butcher, P. A Behavioural Semantics for Linda-2. Department of Computer Science, University of York. Technical Report YCS-137, July 1990. To appear in IEE Software Engineering Journal.

    Google Scholar 

  7. Cardelli, L. & Wegner, P. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surveys, 17(4), December 1985.

    Google Scholar 

  8. Carriero, N. & Gelernter, D. Coordination Languages and their Significance. Yale University, Department of Computer Science. Research Report YALEU/DCS/RR-716, July 1989.

    Google Scholar 

  9. Carriero, N. & Gelernter, D. Tuple analysts and partial evaluation strategies in the Linda precompiler. In Proceedings, Second Workshop on Languages and Compilers for Parallelism, August 1989.

    Google Scholar 

  10. Cook, W. A proposal for making Eiffel type-safe. Computer Journal 32(4) pp 305–311, August 1989.

    Google Scholar 

  11. Core, P. & Foster, J. Ten15: An Overview. Royal Signals and Radar Establishment. Technical Report 3977, September 1986.

    Google Scholar 

  12. Dawes, J. The Professional Programmer's Guide to Ada. Pitman, 1988.

    Google Scholar 

  13. Donahue, J. & Demers, A. Data Types Are Values. Transactions on Programming Languages and Systems 7(3) pp 426–445, July 1985.

    Article  Google Scholar 

  14. Gelernter, D. Generative Communication in Linda. Transactions on Programming Languages and Systems, 2(1) pp 80–112, January 1985.

    Google Scholar 

  15. Gelernter, D. Multiple tuple spaces in Linda. In Odijk, E., Rem, M. & Syre, J.-C. ed. PARLE '89: Parallel Architectures and Languages Europe. Volume II: Parallel Languages. LNCS 366, pp 20–27. June 1989.

    Google Scholar 

  16. Goldblatt, R. Topi the categorical analysis of logic, North-Holland, 1984.

    Google Scholar 

  17. Hoare, C. Communicating Sequential Processes. Communications of the ACM, 21(8) pp 666–677, August 1978.

    Article  Google Scholar 

  18. Hupfer, S. Melinda: Linda with Multiple Tuple Spaces. Yale University, Department of Computer Science. Research Report YALEU/DCS/RR-766. February 1990.

    Google Scholar 

  19. Jellinghaus, R. Eiffel Linda: An object-oriented Linda dialect. SIGPLAN Notices 25(12) pp 70–84, December 1990.

    Google Scholar 

  20. Kernighan, B. & Ritchie, D. The C Programming Language, Second Edition. Prentice Hall, 1988.

    Google Scholar 

  21. Kilstad, R. & Campbell, R. Path Pascal User Manual. Sigplan Notices, 15(9) pp 13–24, September 1980.

    Google Scholar 

  22. Leichter, J. Shared Tuple Memories, Shared Memories, Buses and LAN's — Linda Implementations Across the Spectrum of Connectivity. Yale University, Department of Computer Science. Research Report YALEU/DCS/TR-714, July 1989.

    Google Scholar 

  23. Leler, W. Linda Meets UNIX. Computer, 23(2) pp 52–76, September 1990.

    Google Scholar 

  24. MacLennan, B. Principles of Programming Languages: Design, Evaluation, and Implementation, Second Edition. Holt, Rinehart and Winston, 1987.

    Google Scholar 

  25. May, D. occam-2 language definition. Inmos, Technical Note. February 1987.

    Google Scholar 

  26. Milner, R. A Proposal for Standard ML. University of Edinburgh, Department of Computer Science. Technical Report CSR-157-83, December 1983.

    Google Scholar 

  27. Mitchell, J. & Plotkin, G. Abstract types have existential type. In Proceedings, 12th Annual Symposium on the Principles of Programming Languages, pp37–51, January 1985.

    Google Scholar 

  28. Zenith, S. Programming with Ease: Semiotic definition of the language. Yale University, Department of Computer Science. Research Report YALEU/DCS/RR-809, July 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of York, YO1 5DD, Heslington, York, England

    Paul Butcher & Hussein Zedan

Authors
  1. Paul Butcher
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hussein Zedan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jean Pierre Banâtre Daniel Le Métayer

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Butcher, P., Zedan, H. (1992). Lucinda — A polymorphic Linda. In: Banâtre, J., Le Métayer, D. (eds) Reasearch Directions in High-Level Parallel Programming Languages. HLPPP 1991. Lecture Notes in Computer Science, vol 574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55160-3_39

Download citation

  • DOI: https://doi.org/10.1007/3-540-55160-3_39

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55160-7

  • Online ISBN: 978-3-540-46762-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation