Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/004366056/catalog> ?p ?o. }

Showing items 1 to 35 of 35 with 100 items per page.

catalog abstract ""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."--PUBLISHER'S WEBSITE.".
catalog contributor b6206530.
catalog contributor b6206531.
catalog contributor b6206532.
catalog created "c1994.".
catalog date "1994".
catalog date "c1994.".
catalog dateCopyrighted "c1994.".
catalog description ""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."--PUBLISHER'S WEBSITE.".
catalog description "A Computational Model for Generic Graph Functions / M. Gemis, J. Paredaens, P. Peelman and J. Van den Bussche -- Graphs and Designing / E. Grabska -- ESM Systems and the Composition of Their Computations / D. Janssens -- Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting / Y. Kawahara and Y. Mizoguchi -- Single Pushout Transformations of Equationally Defined Graph Structures with Applications to Actor Systems / M. Korff -- Parallelism in Single-Pushout Graph Rewriting / M. Lowe and J. Dingel -- Semantics of Full Statecharts Based on Graph Rewriting / A. Maggiolo-Schettini and A. Peron -- Contextual Occurrence Nets and Concurrent Constraint Programming / U. Montanari and F. Rossi -- Uniform-Modelling in Graph Grammar Specifications / M. Nagl -- Set-Theoretic Graph Rewriting / J.-C. Raoult and F. Voisin -- On Relating Rewriting Systems and Graph Grammars to Event Structures / G. Schied -- Logic Based Structure Rewriting Systems / A. Schurr.".
catalog description "Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs / S. Smetsers, E. Barendsen, M. v. Eekelen and R. Plasmeijer -- Amalgamated Graph Transformations and Their Use for Specifying AGG -- an Algebraic Graph Grammar System / G. Taentzer and M. Beyer.".
catalog description "Includes bibliographical references and index.".
catalog description "Path-Controlled Graph Grammars for Multiresolution Image Processing and Analysis / K. Aizawa and A. Nakamura -- Syntax and Semantics of Hybrid Database Languages / M. Andries and G. Engels -- Decomposability Helps for Deciding Logics of Knowledge and Belief / S. Arnborg -- Extending Graph Rewriting with Copying / E. Barendsen and S. Smetsers -- Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems / K. Barthelmann and G. Schied -- Abstract Graph Derivations in the Double Pushout Approach / A. Corradini, H. Ehrig, M. Lowe, U. Montanari and F. Rossi -- Note on Standard Representation of Graphs and Graph Derivations / A. Corradini, H. Ehrig, M. Lowe, U. Montanari and F. Rossi -- Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine / A. Corradini and D. Wolz -- Recognizable Sets of Graphs of Bounded Tree-Width / B. Courcelle and J. Lagergren -- Canonical Derivations for High-Level Replacement Systems / H. Ehrig, H.-J. Kreowski and G. Taentzer.".
catalog extent "viii, 394 p. :".
catalog hasFormat "Graph transformations in computer science.".
catalog identifier "0387577874 (alk. paper) :".
catalog isFormatOf "Graph transformations in computer science.".
catalog isPartOf "Lecture notes in computer science ; 776".
catalog issued "1994".
catalog issued "c1994.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer-Verlag,".
catalog relation "Graph transformations in computer science.".
catalog subject "005.1/015115 20".
catalog subject "Computer graphics Congresses.".
catalog subject "Computer science Congresses.".
catalog subject "QA75.5 .G725 1994".
catalog tableOfContents "A Computational Model for Generic Graph Functions / M. Gemis, J. Paredaens, P. Peelman and J. Van den Bussche -- Graphs and Designing / E. Grabska -- ESM Systems and the Composition of Their Computations / D. Janssens -- Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting / Y. Kawahara and Y. Mizoguchi -- Single Pushout Transformations of Equationally Defined Graph Structures with Applications to Actor Systems / M. Korff -- Parallelism in Single-Pushout Graph Rewriting / M. Lowe and J. Dingel -- Semantics of Full Statecharts Based on Graph Rewriting / A. Maggiolo-Schettini and A. Peron -- Contextual Occurrence Nets and Concurrent Constraint Programming / U. Montanari and F. Rossi -- Uniform-Modelling in Graph Grammar Specifications / M. Nagl -- Set-Theoretic Graph Rewriting / J.-C. Raoult and F. Voisin -- On Relating Rewriting Systems and Graph Grammars to Event Structures / G. Schied -- Logic Based Structure Rewriting Systems / A. Schurr.".
catalog tableOfContents "Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs / S. Smetsers, E. Barendsen, M. v. Eekelen and R. Plasmeijer -- Amalgamated Graph Transformations and Their Use for Specifying AGG -- an Algebraic Graph Grammar System / G. Taentzer and M. Beyer.".
catalog tableOfContents "Path-Controlled Graph Grammars for Multiresolution Image Processing and Analysis / K. Aizawa and A. Nakamura -- Syntax and Semantics of Hybrid Database Languages / M. Andries and G. Engels -- Decomposability Helps for Deciding Logics of Knowledge and Belief / S. Arnborg -- Extending Graph Rewriting with Copying / E. Barendsen and S. Smetsers -- Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems / K. Barthelmann and G. Schied -- Abstract Graph Derivations in the Double Pushout Approach / A. Corradini, H. Ehrig, M. Lowe, U. Montanari and F. Rossi -- Note on Standard Representation of Graphs and Graph Derivations / A. Corradini, H. Ehrig, M. Lowe, U. Montanari and F. Rossi -- Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine / A. Corradini and D. Wolz -- Recognizable Sets of Graphs of Bounded Tree-Width / B. Courcelle and J. Lagergren -- Canonical Derivations for High-Level Replacement Systems / H. Ehrig, H.-J. Kreowski and G. Taentzer.".
catalog title "Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jürgen Schneider, Hartmut Ehrig, (eds.).".
catalog type "Conference proceedings. fast".
catalog type "Dagstuhl (1993) swd".
catalog type "Kongress. swd".
catalog type "text".