You might also like

Availability alert

More about Languages for Intensional Programming

• Book details
• Synopsis
• Trending among others

You get 257 loyalty points

Book synopsis

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. Intensional programming is especially suited to application domains where the notion of dynamic change is central. This collection features papers 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 of intensional programming. 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.

Book details

Book category Books in English Computing & information technology Computer hardware Supercomputers

• Full title: Languages for Intensional Programming
• Subtitle: Proceedings of ISLIP '95 - The 8th International Symposium
• Author: E. A. Ashcroft, Mehmet A. Orgun
• Language: English
• Binding: Hardback
• Number of pages: 400
• EAN: 9789810224004
• ID: 05065248
• Publisher: World Scientific Publishing Co Pte Ltd
• Weight: 416 g
• Published: 1996

Trending among others

---

---

---