Intensional Programming Ii

Download or read book Intensional Programming Ii written by Ian T Jolliffe and published by World Scientific. This book was released on 2000-03-23 with total page 331 pages. Available in PDF, EPUB and Kindle. 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.