Foundations
著者
書誌事項
Foundations
(Handbook of graph grammars and computing by graph transformation, v. 1)
World Scientific, 1997
- : hard
- タイトル別名
-
Handbook of graph grammars and computing by graph transformation / Rozenberg
大学図書館所蔵 件 / 全25件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others.The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact within the area of graph grammars, graph transformation is considered a fundamental programming paradigm where computation includes specification, programming, and implementation.Over the last 25-odd years graph grammars have developed at a steady pace into a theoretically attractive and well-motivated research field. In particular, they are now based on very solid foundations, which are presented in this volume. Volume 1 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations includes a state-of-the-art presentation of the foundations of all the basic approaches to rule-based graph specification and transformation: algebraic approach, logic approach, node-based rewriting, (hyper)edge-based rewriting, programmed graph rewriting, and 2-structures. The book has been written in a tutorial/survey style to enhance its usefulness.
目次
- Node replacement graph grammars, J. Engelfriet and G. Rozenberg
- hyperedge replacement graph grammars, F. Drewes et al
- the expression of graph properties and graph transformations in monadic second-order logic, B. Courcelle
- algebraic approaches to graph transformation - part 1 - basic concepts and double pushout approach, A. Corradini et al
- algebraic approaches to graph transformation - part 2 - single pushout approach and comparison with double pushout approach, H. Ehrig et al
- 2-structures - a framework for decomposition and transformation of graphs, A. Ehrenfeucht et al
- programmed graph replacement systems, A. Schurr.
「Nielsen BookData」 より