Berthold Hoffmann, Mark Minas  Home/Search
Context Related
| www2.informatik.unierla...RULE2001.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www2.informatik.unierlang...publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a new computational model for rule-based programming with graphs and diagrams. Using existing nesting concepts for graphs, this model defines an intuitive way of nested graph transformation that is based on variable matching. Shape rules are introduced for specifying structural consistency conditions on nested graphs. Shape rules set up a decidable type discipline for a refined model of shapely nested graph transformation. Since the refined model is compatible with the... (Update)
Context of citations to this paper: More
...to be speci ed by context free graph grammars, in order to set up a type discipline for shapely hierarchical graph transformation. In [HM01] a new computational model for rule based programming with graphs and diagrams is described. Using existing nesting concepts for graphs,...
Cited by: More
Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
Appligraph: Applications of Graph Transformation - Fifth.. - Kreowski, (eds.) (2002) (Correct)
Similar documents (at the sentence level):
50.7%: Transformation of Shaped Nested Graphs and Diagrams - Hoffmann, Minas (2001) (Correct)
10.5%: Shapely Hierarchical Graph Transformation - Hoffmann (2001) (Correct)
Active bibliography (related documents): More All
0.8: Hierarchical Graph Transformation - Drewes, Hoffmann, Plump (2002) (Correct)
0.5: Comparing Notions of Hierarchical Graph Transformation - Busatto, Hoffmann (2001) (Correct)
0.4: Abstraction and Control for Shapely Nested Graph Transformation - Hoffmann (2003) (Correct)
Similar documents based on text: More All
0.7: Constructing Shapely Nested Graph Transformations - Drewes, Hoffmann, Minas (Correct)
0.6: Towards Rule-Based Visual Programming of Generic Visual Systems - Hoffmann, Minas (2000) (Correct)
0.5: Towards Generic Rule-Based Visual Programming - Hoffmann, Minas (Correct)
Related documents from co-citation: More All
4: Hierarchical graph transformation - DREWES, HOFFMANN et al. - 2000
3: Computing raster images from grid picture grammars - Drewes, Ewert et al.
2: Abstract hierarchical graph transformation (context) - Busatto, org et al. - 2001
BibTeX entry: (Update)
Berthold Ho mann and Mark Minas. Transformation of shaped nested graphs and diagrams. In M. van den Brand and R. Verma, editors, Proc. 2nd Int. Workshop on Rule-Based Programming (RULE 2001), volume 59(4) of Electronic Notes in Theoretical Computer Science, 2001. 15 pages. 29 http://citeseer.ist.psu.edu/article/hoffmann01transformation.html More
@article{ hoffmann01transformation,
author = "Berthold Hoffmann and Mark Minas",
title = "Transformation of Shaped Nested Graphs and Diagrams",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "59",
number = "4",
year = "2001",
url = "citeseer.ist.psu.edu/article/hoffmann01transformation.html" }
Citations (may not include all citations):474 Term rewriting systems - Klop - 1992
372 The Unified Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1999
247 Confluent reductions: Abstract properties and applications t.. (context) - Huet - 1980
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1998
148 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Rozenberg - 1997
71 Transfinite reductions in orthogonal term rewriting systems - Kennaway, Klop et al. - 1995
47 Hyperedge replacement graph grammars (context) - Drewes, Habel et al.
38 Application of graph transformation to visual languages - Bardohl, Minas et al.
32 Hierarchical graph transformation - Drewes, Hoffmann et al. - 2001
29 Term graph rewriting - Plump
17 Science of Computer Programming (context) - Fradet, Le Mtayer - 1998
15 Concepts and realization of a diagram editor generator based.. - Minas - 2001
13 From graph transformation to rule-based programming with dia.. - Hoffmann - 2000
12 The PROGRES approach: Language and environment - Sch, Winter et al.
11 Graph unification and matching (context) - Plump, Habel - 1996
10 Graph transformation as a conceptual and formal framework fo.. (context) - Engels, Heckel - 2000
9 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Engels, Ehrig et al. - 1999
9 Comparing notions of hierarchical graph transformation - Busatto, Hoffmann - 2001
7 Definition of programming language semantics using grammars .. (context) - Pratt - 1979
6 Shapely hierarchical graph transformation - Hoffmann - 2001
6 A generic model for diagram syntax and semantics - Hoffmann, Minas - 2000
6 An abstract hierarchical graph data model (context) - Busatto, Kreowski et al. - 2001
5 Graph grammars and global program data flow analysis (context) - Farrow, Kennedy et al. - 1976
2 Automaten und Formale Sprachen (context) - Plump, languages et al. - 1999
Documents on the same site (http://www2.informatik.uni-erlangen.de/DiaGen/publ.html): More
XML-based Specification of Diagram Editors - Minas (2003) (Correct)
Constructing Shapely Nested Graph Transformations - Drewes, Hoffmann, Minas (Correct)
Structure, Abstraction and Direct Manipulation in Diagram Editors - Köth, Minas (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC