Multidimensional Programming

by E. A. Ashcroft, A. A. Faustini, R. Jagannathan, W. W. Wadge

Overview

This book describes a powerful language for multidimensional declarative programming called Lucid. Lucid has evolved considerably in the past ten years. The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. Intensionality, and more specifically indexicality, has enabled Lucid to implicitly express multidimensional objects that change, a fundamental capability with several consequences which are explored in this book. The author covers a broad range of topics, from foundations to applications, and from implementations to implications. The role of intensional logic in Lucid as well as its consequences for programming in general is discussed. The syntax and mathematical semantics of the language are given and its ability to be used as a formal system for transformation and verification is presented. The use of Lucid in both multidimensional applications programming and software systems construction (such as a parallel programming system and a visual programming system) is described. A novel model of multidimensional computation—education—is described along with its serendipitous practical benefits for harnessing parallelism and tolerating faults. As the only volume that reflects the advances over the past decade, this work will be of great interest to researchers and advanced students involved with declarative language systems and programming.

Product Details

ISBN-13:	9780195075977
Publisher:	Oxford University Press
Publication date:	02/23/1995
Pages:	176
Product dimensions:	6.20(w) x 9.30(h) x 0.70(d)

About the Author

both at Arizona State University

SRI International

University of Victoria

Table of Contents

1. Introduction2. Indexicality3. An Indexical Language4. Mathematical Semantics5. Verification and Transformation6. Applications7. Education8. Parallelism and Fault Tolerance9. Implementations10. Other Uses of Indexicalcity

Editorial Reviews

"This book offers a natural manner to make multidimensional declarative programming." —Zentrallblatt für Mathematik und ihre Grenzgebiete

"Useful for its novel approach to many programming issues, considered stabilised by most developers, as well as for its insight into the education model and engine, and the advantages of Lucid for program verification, fault tolerance and parallelism." —Natural Language Engineering

From the Publisher