Intensional Programming II: Based on the Papers at Islip 99

ISBN-13: 9789810240950 / Angielski / Twarda / 2000 / 332 str.

Manolis Gergatsoulis; Panos Rondogiannis

Opis

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.