Intensional programming I : based on the papers at ISLIP '95, Macquarie University, Sydney, NSW, Australia, 3-5 May 1995
著者
書誌事項
Intensional programming I : based on the papers at ISLIP '95, Macquarie University, Sydney, NSW, Australia, 3-5 May 1995
World Scientific, c1996
- タイトル別名
-
Intensional programming one
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
"The Eighth International Symspoium on Languages for Intensional Programming, which took place at Macquarie University in Sydney, NSW, Australia, on 3-5 May 1995"--preface
内容説明・目次
内容説明
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.
目次
- Portfolio - a graphical system for GLU programming, R. Jagannathan
- distributed programming based on graphs, J.-N. Cao and K. Zhang
- ALFA fine grain dataflow machine, L. Verdoscia
- a new stream processing language, J. Plaice and Y. Haralambous
- real-time object-oriented specification and verification, S. Yamane
- the possible world-wide web, A. Yoder and W. Wadge
- a calculus based on absence of actions, P. Krishnan
- a meta-level approach to modal logic programming, S. Akama.
「Nielsen BookData」 より
