Graph Transformations in Computer Science [electronic resource] : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings /
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.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1994
|
Subjects: | Computer science., Software engineering., Data structures (Computer science)., Computers., Mathematical logic., Pattern recognition., Combinatorics., Computer Science., Pattern Recognition., Theory of Computation., Mathematical Logic and Formal Languages., Software Engineering., Data Structures., |
Online Access: | http://dx.doi.org/10.1007/3-540-57787-4 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | 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. |
---|