Intensional Programming Ii
Author | : Ian T Jolliffe |
Publisher | : World Scientific |
Total Pages | : 331 |
Release | : 2000-03-23 |
ISBN-10 | : 9789814543286 |
ISBN-13 | : 9814543284 |
Rating | : 4/5 (86 Downloads) |
Book excerpt: There is a growing interest in programming languages and systems based on nonclassical logics such as temporal logics, interval logics, modal and intuitionistic logics. In fact, a whole new programming paradigm called 'intensional programming' has been created, with applications in a wide range of areas, including parallel programming, dataflow computation, temporal reasoning, scientific computation, real-time programming, temporal and multidimensional databases, spreadsheets, attribute grammars, and Internet programming. This volume presents ongoing research as well as future directions of this new and fascinating area of research.