Author: E A Ashcroft
Publisher: World Scientific
ISBN: 9814548723
Category :
Languages : en
Pages : 310
Get Book
Book Description
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.
Author: Mehmet A. Orgun
Publisher: World Scientific Publishing Company Incorporated
ISBN: 9789810224004
Category : Computers
Languages : en
Pages : 296
Get Book
Book Description
Author: Edward A. Ashcroft
Publisher:
ISBN: 9789814532273
Category : COMPUTERS
Languages : en
Pages : 310
Get Book
Book Description
Author:
Publisher:
ISBN:
Category : Books
Languages : en
Pages : 300
Get Book
Book Description
Author: Manolis Gergatsoulis
Publisher: World Scientific Publishing Company Incorporated
ISBN: 9789810240950
Category : Computers
Languages : en
Pages : 321
Get Book
Book Description
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.
Author:
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 3310
Get Book
Book Description
Author: Rose Arny
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 3060
Get Book
Book Description
Author: Ian T. Jolliffe
Publisher:
ISBN: 9789814527019
Category : Computer programming
Languages : en
Pages : 331
Get Book
Book Description
Author:
Publisher:
ISBN:
Category : Fish-culture
Languages : en
Pages : 554
Get Book
Book Description
Author: Ed Bowker Staff
Publisher: R. R. Bowker
ISBN: 9780835246422
Category : Reference
Languages : en
Pages : 3274
Get Book
Book Description
