Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Distributed Communities on the Web

DCW 2000: Distributed Communities on the Web pp 154–160Cite as

Multidimensional Lucid: Design, Semantics and Implementation

  • Conference paper
  • First Online:

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

Abstract

We develop an eductive algorithm for the efficient implementation of Multidimensional Lucid, which includes dimensions as first-class values. By focusing on simple multi-dimensional expressions, we develop a series of operational semantics, ultimately leading to an algorithm that should lead to efficient implementations of Lucid for a variety of physical architectures.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. A. Ashcroft, A. A. Faustini, R. Jagannathan, and W. W. Wadge. Multidimensional, Declarative Programming. Oxford University Press, London, 1995.

    Google Scholar 

  2. E. A. Ashcroft and W. W Wadge. Lucid-A formal system for writing and proving programs. SIAM Journal on Computing, pages 336–354, September 1976.

    Google Scholar 

  3. E. A. Ashcroft and W. W Wadge. Lucid, a nonprocedural language with iteration. Communications of the ACM, pages 519–526, July 1977.

    Google Scholar 

  4. A. A. Faustini and W. W. Wadge. Intensional programming. In J.C. Bourdeaux, B.W. Hamill, and R. Jernigan, editors, The Role of Languages in Problem Solving 2. Elsevier Science Publishers, North-Holland, 1987.

    Google Scholar 

  5. J.-R. Gagné and J. Plaice. Demand-driven real-time computing. In Intensional Programming II. World-Scientific, Singapore, 2000.

    Google Scholar 

  6. R. Jagannathan, C. Dodd, and I. Agi. GLU: A high-level system for granular data-parallel programming. Concurrency: Practice and Experience, (1):63–83, 1997.

    Article  Google Scholar 

  7. P. J. Landin. The next 700 programming languages. Communications of the ACM, 9(3):157–166, 1966.

    Article  MATH  Google Scholar 

  8. J. Paquet and J. Plaice. The semantics of dimensions as values. In Intensional Programming II. World-Scientific, Singapore, 2000.

    Google Scholar 

  9. J. Plaice and J. Paquet. Introduction to intensional programming. In Intensional Programming I, pages 1–14. World Scientific, Singapore, 1995.

    Google Scholar 

  10. P. Rondogiannis and W. W. Wadge. First-order functional languages and intensional logic. Journal of Functional Programming, 7(1):73–101, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  11. P. Rondogiannis and W. W. Wadge. Higher-order functional languages and intensional logic. Journal of Functional Programming, 1999. In press.

    Google Scholar 

  12. W. W. Wadge and E. A. Ashcroft. Lucid, the Dataflow Programming Language. Academic Press, London, 1985.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Engineering, University of New South Wales UNSW, Sydney, NSW, 2052, Australia

    John Plaice

Authors
  1. John Plaice
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Operations Research, University of Montreal, C.P. 6128, succ. Centre-ville, Montreal, QC, H3C 3J7, Canada

    Peter G. Kropf

  2. Department of Computer Science, Laval University, 3908 Adrien-Pouliot, Sainte-Foy, QC, G1K 7P4, Canada

    Gilbert Babin

  3. School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW, 2052, Australia

    John Plaice

  4. Department of Computer Science, University of Rostock, 18051, Rostock, Germany

    Herwig Unger

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Plaice, J. (2000). Multidimensional Lucid: Design, Semantics and Implementation. In: Kropf, P.G., Babin, G., Plaice, J., Unger, H. (eds) Distributed Communities on the Web. DCW 2000. Lecture Notes in Computer Science, vol 1830. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45111-0_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-45111-0_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67647-8

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation