Andere Kunden interessierten sich auch für
![Intensional Programming II]( "Intensional Programming II")
Intensional Programming II125,99 €![C++ Programming with Applications in Administration, Finance and Statistics (Includes the Standard Template Library)]( "C++ Programming with Applications in Administration, Finance and Statistics (Includes the Standard Template Library)")
C++ Programming with Applications in Administration, Finance and Statistics (Includes the Standard Template Library)119,99 €![The Productive Programmer]( "The Productive Programmer")
The Productive Programmer34,99 €![Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF]( "Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF")
Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF51,99 €![Programming ASP.Net 2.0 with the Public Beta]( "Programming ASP.Net 2.0 with the Public Beta")
Programming ASP.Net 2.0 with the Public Beta33,99 €![Programación competitiva (CP4) - Volumen I: Manual para concursantes del ICPC y la IOI]( "Programación competitiva (CP4) - Volumen I: Manual para concursantes del ICPC y la IOI")
Programación competitiva (CP4) - Volumen I: Manual para concursantes del ICPC y la IOI36,99 €![Functional and Logic Programming - Proceedings of the Second Fuji International Workshop]( "Functional and Logic Programming - Proceedings of the Second Fuji International Workshop")
Functional and Logic Programming - Proceedings of the Second Fuji International Workshop124,99 €
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.