E. A. Ashcroft - Böcker
Visar alla böcker från författaren E. A. Ashcroft. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
1 757 kr
Skickas inom 5-8 vardagar
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.
1 729 kr
Tillfälligt slut
There is a growing interest in programming languages and systems, and computational models based on intensional logics — such as temporal logic, interval logic and modal logic — and possible world semantics. In fact, a whole new programming model called intensional programming has emerged with applications in a wide range of areas including parallel programming, dataflow computation, temporal reasoning, scientific computation, software version control, real-time programming, temporal query languages, executable temporal logics, spreadsheets, attribute grammars, and hardware synthesis, to name a few. Intensional Programming is especially suited to application domains where the notion of dynamic change is central.This collection will feature papers by leading researchers in the field of intensional programming dealing with theoretical foundations, design, implementation and prototype development issues, comparative studies, and applications, as well as those describing new challenges arising out of applications. It contains revised and extended versions of the papers presented at the Eighth International Symposium on Languages for Intensional Programming held on May 3-5, 1995 at Macquarie University in Sydney, Australia.