Multidimensional Programming

Multidimensional Programming, 9780195075977 (0195075978), Oxford University Press, 1995

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. Intensionality, and more specifically indexicality, has enabled Lucid to implicitly express multidimensional objects that change, a fundamental capability with several consequences which are explored in this book. The author covers a broad range of topics, from foundations to applications, and from implementations to implications. The role of intensional logic in Lucid as well as its consequences for programming in general is discussed. The syntax and mathematical semantics of the language are given and its ability to be used as a formal system for transformation and verification is presented. The use of Lucid in both multidimensional applications programming and software systems construction (such as a parallel programming system and a visual programming system) is described. A novel model of multidimensional computation--education--is described along with its serendipitous practical benefits for harnessing parallelism and tolerating faults. As the only volume that reflects the advances over the past decade, this work will be of great interest to researchers and advanced students involved with declarative language systems and programming.

About the Author

Edward A. Ashcroft and Anthony A. Faustini are both at Arizona State University. Rangaswamy Jagannathan is at SRI International. William W. Wadge is in the Department of Computer Science, University of Victoria.

Comments

Amazing Books

Adaptable Embedded Systems

Springer, 2012

As embedded systems become more complex, designers face a number of challenges at different levels: they need to boost performance, while keeping energy consumption as low as possible, they need to reuse existent software code, and at the same time they need to take advantage of the extra logic available in the chip, represented by multiple...

The Power Source: The Hidden Key to Ignite Your Core, Empower Your Body, Release Stress, and Realign Your Life

Grand Central Publishing, 2019

Celebrity trainer and goop expert Lauren Roxburgh's program that uses pelvic floor strength to release stress, fortify the body, and treat the physical and mental origins of tension.

Chances are your body feels some form of stress every day, whether it's inflammation, bloating,...

Arduino Wearables

Apress, 2012

At a young age, I lived very close to my grandmothers and I used to visit them often. Both of my grandmothers were very skilled in textile handcrafts and, along with my mother, were firm believers that sewing is one of those basic skills that everyone should know. One grandmother was amazing at crocheting and needlepoint, and the...

Materials for Engineering

Woodhead Publishing, 2006

The criterion I have adopted for discussing a specific material in this book is its commercial availability, rather than its being confined to a research and development laboratory. In the ten years since the appearance of the first edition of the book, a number of such engineering materials have appeared on the market and a number of these will be...

Less Web Development Essentials

Packt Publishing, 2014

Use CSS preprocessing to streamline the development and maintenance of your web applications

About This Book

Produce clear, concise, and well-constructed code that compiles into standard compliant CSS

Explore the core attributes of Less and learn how to integrate them into your site

...

How to Cheat in Adobe Flash CS5: The Art of Design and Animation

Focal Press, 2010

Need to solve problems quickly to develop creative projects to time and to budget? Want to hone your Flash skills so you can concentrate on your animation? Then How to Cheat in Flash is for you! Chris Georgenes shows how to work from the problem to the solution - from the viewpoint of an animator who has been commissioned to create a job and...