
Multidimensional Programming
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Other editions
Additional editions

Content
- 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
- 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
System requirements
File format: PDF
Copy-Protection: Adobe-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Install the free reader Adobe Digital Editions prior to download (see eBook Help).
- Tablet/smartphone (Android; iOS): Install the free app Adobe Digital Editions or the app PocketBook before downloading (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Adobe-DRM, a „hard” copy protection. If the necessary requirements are not met, unfortunately you will not be able to open the eBook. You will therefore need to prepare your reading hardware before downloading.
Please note: We strongly recommend that you authorise using your personal Adobe ID after installation of any reading software.
For more information, see our eBook Help page.