Multidimensional Programming - Rilegato

Ashcroft, E. A.; Faustini, A. A.; Jaggannathan, R.; Wadge, W. W.

Rilegato

ISBN 10: 0195075978 ISBN 13: 9780195075977

Casa editrice: OUP USA, 1995

Riassunto

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.

Su questo libro

Recensione

... a modest little book that deserves attention. New Scientist, March 1996

I believe that this book would be good for those who are seriously thinking of starting research in MDIP or Lucid topics. Its most important contribution to the general public, outside the MDIP and Lucid communities, is the opening of a new point of view to already well-researched and well-known topics. Useful for its novel approach to many programming issues. Natural Language Engineering

'The book offers a natural manner to make multidimensional declarative programming....'T. Balanescu, Zentrallblatt fur Mathematik und ihre Grenzgebiete 864 1997

Contenuti

• 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

Dettagli dell'edizione

• Editore: OUP USA
• Data di pubblicazione: 1995
• Lingua: Inglese
• ISBN 10: 0195075978
• ISBN 13: 9780195075977
• Rilegatura: Copertina rigida
• Numero di pagine: 176
• Contatto del produttore: Messaggerie Libri; ufficio.anagrafiche@meli.it; ; Via Verdi, 8.; Assago Milano; 20090; Italia