Coverart for item
The Resource Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings, Hans Jürgen Schneider, Hartmut Ehrig, (eds.)

Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings, Hans Jürgen Schneider, Hartmut Ehrig, (eds.)

Label
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
Title
Graph transformations in computer science
Title remainder
international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
Statement of responsibility
Hans Jürgen Schneider, Hartmut Ehrig, (eds.)
Contributor
Subject
Genre
Language
eng
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
Member of
Action
digitized
Cataloging source
OCLCE
Dewey number
005.1/015115
Illustrations
illustrations
Index
no index present
LC call number
QA75.5
LC item number
.G725 1994
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Schneider, Hans-Jürgen
  • Ehrig, Hartmut
Series statement
Lecture notes in computer science
Series volume
776
http://library.link/vocab/subjectName
  • Computer science
  • Computer graphics
  • Infographie
  • Informatique
  • Computer graphics
  • Computer science
  • Graph-Grammatik
  • Grammaires de graphes
  • Graphes, Théorie des
  • Dagstuhl <1993>
Label
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings, Hans Jürgen Schneider, Hartmut Ehrig, (eds.)
Instantiates
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • 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
  • 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
Control code
649998199
Dimensions
unknown
Extent
1 online resource (viii, 394 pages)
File format
one file format
Form of item
online
Isbn
9783540577874
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
9783540577874
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
3540577874
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)649998199
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings, Hans Jürgen Schneider, Hartmut Ehrig, (eds.)
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • 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
  • 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
Control code
649998199
Dimensions
unknown
Extent
1 online resource (viii, 394 pages)
File format
one file format
Form of item
online
Isbn
9783540577874
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
9783540577874
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
3540577874
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)649998199
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...