Mohlo by se vám také líbit

Informovat o naskladnění knihy

Více informací o knize Languages for Intensional Programming

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 258 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer hardware Supercomputers

• Plný název: Languages for Intensional Programming
• Podnázev: Proceedings of ISLIP '95 - The 8th International Symposium
• Autor: E. A. Ashcroft, Mehmet A. Orgun
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 400
• EAN: 9789810224004
• ID: 05065248
• Nakladatelství: World Scientific Publishing Co Pte Ltd
• Hmotnost: 416 g
• Rok vydání: 1996

Oblíbené z jiného soudku

---

---

---