1 Introduction; 2 Intensionality; 3 Syntax and Semantics; 4 Transformation and Verification; 5 Education; 6 Parallelism and Fault Tolerance; 7 High-Performance Implementation; 8 Other Uses of Intensionality; Index
Summary
1. Introduction. 2. Indexicality. 3. An Indexical Language. 4. Mathematical Semantics. 5. Verification and Transformation. 6. Applications. 7. Education. 8. Parallelism and Fault Tolerance. 9. Implementations. 10. Other Uses of Indexicalcity
Analysis
Programming languages
Bibliography
Includes bibliographical references (pages 153-157) and index