Multidimensional Programming

Erscheinungsjahr 1995
ISBN: 978-0-19-507597-7
Verlag: Oxford University Press

Buch, Englisch, 176 Seiten, Print PDF, Format (B × H): 161 mm x 240 mm, Gewicht: 435 g

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.

Autoren/Hrsg.

Ashcroft, Edward A.

Ashcroft, E. A.

Jagannathan, Rangaswamy

Faustini, A. A.

Faustini, Anthony A.

Jaggannathan, R.

Wadge, W. W.

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen

Inhaltsverzeichnis

- 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