Intensional programming II : based on the papers at ISLIP '99
著者
書誌事項
Intensional programming II : based on the papers at ISLIP '99
World Scientific, c2000
- タイトル別名
-
Intensional programming two
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"... the 12th International Symposium on Languages for Intensional Programming, held in NCSR 'Demokritos', Athens, Greece, June 28-30, 1999"--Preface
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
- Intensional languages and the WEB
- temporal logic programming
- dataflow and real-time languages
- temporal databases
- intensional systems.
「Nielsen BookData」 より
