Graph Transformations in Computer Science : International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings. 1st ed. 1994

種類:

電子ブック

責任表示:

edited by Hans J. Schneider, Hartmut Ehrig

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994

著者名:

• Schneider, Hans J.
• Ehrig, Hartmut.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 776

ISBN:

9783540483335 [3540483330]    

注記:

Path-controlled graph grammars for multiresolution image processing and analysis -- Syntax and semantics of hybrid database languages -- Decomposability helps for deciding logics of knowledge and belief -- Extending graph rewriting with copying -- Graph-grammar semantics of a higher-order programming language for distributed systems -- Abstract graph derivations in the double pushout approach -- Note on standard representation of graphs and graph derivations -- Jungle rewriting: An abstract description of a lazy narrowing machine -- Recognizable sets of graphs of bounded tree-width -- Canonical derivations for high-level replacement systems -- A computational model for generic graph functions -- Graphs and designing -- ESM systems and the composition of their computations -- Relational structures and their partial morphisms in view of single pushout rewriting -- Single pushout transformations of equationally defined graph structures with applications to actor systems -- Parallelism in single-pushout graph rew
The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition.

ローカル注記:

学内専用E-BOOKS (local access only)