Multidimensional programming
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.
Saved in:
| Main Author: | |
|---|---|
| Format: | eBook Book |
| Language: | English |
| Published: |
New York ; Tokyo
Oxford University Press
1995
Oxford University Press, Incorporated |
| Edition: | 1 |
| Subjects: | |
| ISBN: | 9780195075977, 0195075978 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- 8.3 Intensional Spreadsheets -- 8.4 Multiple Dimensions -- 8.5 Intensionality and Inheritance -- 8.6 Summary -- Index -- A -- B -- C -- D -- E -- F -- G -- H -- I -- J -- K -- L -- M -- N -- O -- P -- R -- S -- T -- U -- V -- W
- Intro -- Contents -- 1 Introduction -- 1.1 Running Sums -- 1.2 Powers -- 1.3 Matrix Multiplication -- 1.4 Sorting -- 1.5 Summary -- 2 Intensionality -- 2.1 Intensional Logic -- 2.2 The Intensional Language Lucid -- 2.3 Intensional versus Extensional Thinking -- 2.4 Space and Time -- 2.5 The Role of Extensional Thinking -- 2.6 Summary -- 3 Syntax and Semantics -- 3.1 Syntax -- 3.1.1 Abstract Syntax -- 3.1.2 Concrete Syntax -- 3.1.3 Running Sums Revisited -- 3.1.4 Powers Revisited -- 3.1.5 Matrix Multiplication Revisited -- 3.1.6 Sorting Revisited -- 3.2 Denotational Semantics -- 3.3 Summary -- 4 Transformation and Verification -- 4.1 Simple Introductory Example -- 4.2 Program Transformation -- 4.2.1 The Basis Rule -- 4.2.2 The Calling Rule -- 4.2.3 The Renaming Rules -- 4.2.4 The Addition and Elimination Rules -- 4.3 Program Verification -- 4.3.1 Matrix Transposition -- 4.3.2 Matrix Multiplication -- 4.3.3 Tournament -- 4.4 Summary -- 5 Eduction -- 5.1 Extensional and Intensional Models -- 5.2 Intensional Computing Models -- 5.3 The Eduction Computing Model -- 5.4 An Abstract Eduction Engine -- 5.5 Summary -- 6 Parallelism and Fault Tolerance -- 6.1 Parallelism -- 6.1.1 Basic Forms of Parallelism -- 6.1.2 Origin of Parallelism -- 6.1.3 Exploiting Parallelism in Lucid Programs -- 6.2 Fault Tolerance -- 6.2.1 Origin of Fault Tolerance -- 6.2.2 Role of Lucid -- 6.2.3 Role of Eduction -- 6.2.4 Fault-Tolerant Eductive Evaluation -- 6.3 Summary -- 7 High-Performance Implementation -- 7.1 Conventional Parallel Programming -- 7.2 Hybrid Parallel Programming -- 7.3 GLU Programming System Architecture -- 7.4 Revitalizing Existing Applications -- 7.4.1 Ray Tracing -- 7.4.2 Structural Analysis -- 7.4.3 Intrusion Detection System -- 7.5 Summary -- 8 Other Uses of Intensionality -- 8.1 Intensional Logic Programming -- 8.2 Branching Time