Multidimensional Programming

Multidimensional Programming

By (author)  , By (author)  , By (author) 

Free delivery worldwide

Available. Dispatched from the UK in 3 business days
When will my order arrive?


This book describes Lucid, a multidimensional declarative language based on intensional logic. The mathematical underpinnings of Lucid enable programs to be amenable to verification and transformation. Lucid programs concisely and elegantly express multidimensional computations rich in parallelism that can be robustly exploited using a novel demand-driven model of computation. In addition to being an applications programming language, Lucid also serves as the basis of a system for programming conventional parallel computers and a visual programming system.
show more

Product details

  • Hardback | 176 pages
  • 157.5 x 238.8 x 17.8mm | 430.92g
  • Oxford, United Kingdom
  • English
  • New
  • line figures
  • 0195075978
  • 9780195075977
  • 2,144,700

Table of contents

Introduction ; 1. Indexicality ; 2. Lu+: An indexical language ; 3. Mathematical Semantics ; 4. Verification and Transformation ; 5. Applications ; 6. Eduction ; 7. Parallelism and fault tolerance ; 8. Implementations ; 9. Other uses of indexicality
show more

Review quote

'The book offers a natural manner to make multidimensional declarative programming....' T. Balanescu, Zentrallblatt fur Mathematik und ihre Grenzgebiete 864 1997 I believe that this book would be good for those who are seriously thinking of starting research in MDIP or Lucid topics. Its most important contribution to the general public, outside the MDIP and Lucid communities, is the opening of a new point of view to already well-researched and well-known topics. Useful for its novel approach to many programming issues. Natural Language Engineering ... a modest little book that deserves attention. New Scientist, March 1996
show more