Multidimensional Programming

E. A. Ashcroft, A. A. Faustini, R. Jaggannathan, W. W. Wadge (Autoren)

Buch | Hardcover

176 Seiten

1995
Oxford University Press Inc (Verlag)
978-0-19-507597-7 (ISBN)

Artikel merken

BL A comprehensive description of the features and benefits of Lucid, a multidimensional declarative language based on intensional logic. Lucid programs concisely express multidimensional computations that can be exploited using a novel demand-driven model of computation. Lucid also serves as the basis of a system for programming conventional parallel computers.

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.

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

Erscheint lt. Verlag	4.5.1995
Zusatzinfo	line figures
Verlagsort	New York
Sprache	englisch
Maße	159 x 241 mm
Gewicht	164 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-19-507597-8 / 0195075978
ISBN-13	978-0-19-507597-7 / 9780195075977
Zustand	Neuware