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.
Reviews
... a modest little book that deserves attention. New Scientist, March 1996
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
'The book offers a natural manner to make multidimensional declarative programming....' T. Balanescu, Zentrallblatt fur Mathematik und ihre Grenzgebiete 864 1997



Book Information
ISBN 9780195075977
Author E. A. Ashcroft
Format Hardback
Page Count 176
Imprint Oxford University Press Inc
Publisher Oxford University Press Inc
Dimensions(mm) 241mm * 159mm * 18mm