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
"This book offers a natural manner to make multidimensional
declarative programming." --Zentrallblatt für Mathematik und ihre
Grenzgebiete
"Useful for its novel approach to many programming issues,
considered stabilised by most developers, as well as for its
insight into the education model and engine, and the advantages of
Lucid for program verification, fault tolerance and parallelism."
--Natural Language Engineering
"This book offers a natural manner to make multidimensional
declarative programming." --Zentrallblatt für Mathematik und ihre
Grenzgebiete
"Useful for its novel approach to many programming issues,
considered stabilised by most developers, as well as for its
insight into the education model and engine, and the advantages of
Lucid for program verification, fault tolerance and parallelism."
--Natural Language Engineering
|
Ask a Question About this Product More... |
|
