Term graph rewriting : theory and practice

著者

    • Sleep, M. R.
    • Plasmeijer, M. J.
    • Eekelen, M. C. van

書誌事項

Term graph rewriting : theory and practice

edited by M.R. Sleep and M.J. Plasmeijer and M.C. van Eekelen

（Wiley professional computing）

Wiley, c1993

大学図書館所蔵 件 / 全23件

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

内容説明

Charting the progress of the theory, implementation and applications of rewriting models of computation, this study represents a key resource for researchers. A major feature of the book is the presentation of theoretical advances such as a new theory of transfinite term rewriting, a single pushout categorical model of graph rewriting and an abstract interpretation for term graph rewriting.

目次

  • Partial table of contents:
  • How to Get Confluence for Explicit Substitutions (T. Hardin)
  • Graph Rewriting Systems for Efficient Compilation (Z. Ariola & Arvind)
  • Abstract Reduction: Towards a Theory via Abstract Interpretation (M. van Eekelen, et al.)
  • The Adequacy of Term Graph Rewriting for Simulating Term Rewriting (J. Kennaway, et al.)
  • Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence (D. Plump)
  • MONSTR: Term Graph Rewriting for Parallel Machines (R. Banach)
  • Parallel Execution of Concurrent Clean on ZAPP (R. Goldsmith, et al.)
  • Implementing Logical Variables and Disjunctions in Graph Rewrite Systems (P. McBrien)
  • Index.

「Nielsen BookData」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ