Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer  Home/Search
Context Related
Links: ACM DBLP | informatik.unibremen....Grace:98.ps.gz tzi.de/~hof/research/p...Grace:98.ps.gz 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 Problem Downloading? From: informatik.unibremen.de/~hof/... (more) From: tzi.de/~hof/research/publicati... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The framework of graph transformation combines the potentials and advantages of both, graphs and rules, to a single computational paradigm. In this paper we present some recent developments in applying graph transformation as a rule-based framework for the specification and development of systems, languages, and tools. After reviewing the basic features of graph transformation, we discuss a selection of applications, including the evaluation of functional expressions, the specification of an... (Update)
Cited by: More
Model-based Management of Embedded Service Systems .. - Illner, Krumm.. (2006) (Correct)
Model-driven Security Management of Embedded Service Systems - Illner, Pohl, Krumm (2005) (Correct)
Model Transformations And Tool Integration - Tratt (2004) (Correct)
Similar documents (at the sentence level):
71.8%: Graph Transformation for Specification and Programming - Andries, Engels, Habel.. (1996) (Correct)
Active bibliography (related documents): More All
2.6: Term Graph Rewriting - Plump (1998) (Correct)
1.7: Computing by Graph Transformation - A Survey and Annotated.. - Ehrig, (eds.) (1996) (Correct)
1.7: Graph Transformation Units with Interleaving Semantics - Kreowski, Kuske (1999) (Correct)
Similar documents based on text: More All
1.1: Distributed Graph Transformation Units - Knirsch, Kuske (2002) (Correct)
0.7: Towards Common Exchange Formats for Graphs and Graph.. - Taentzer (2001) (Correct)
0.7: A Formal Semantics of UML State Machines Based on Structured Graph .. - Kuske (2001) (Correct)
Related documents from co-citation: More All
6: Encapsulated Hierarchical Graphs (context) - Engels, Schurr - 1995
5: Graph Grammars and Their Application to Computer Science and Biology (context) - Claus, Ehrig et al. - 1979
5: Pragmatic and semantic aspects of a module concept for graph transformation syst.. (context) - Ehrig, Engels
BibTeX entry: (Update)
Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, HansJ org Kreowski, Sabine Kuske, Detlef Plump, Andy Schurr, Gabriele Taentzer. Graph transformation for specification and programming. Technical Report 7/96, Universitat Bremen, 1996. http://citeseer.ist.psu.edu/andries96graph.html More
@phdthesis{ andries96graph,
author = "M.~Andries",
title = "Graph Rewrite Systems and Visual Database Languages",
year = "1996",
url = "citeseer.ist.psu.edu/andries96graph.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990
788 Rewrite systems - Dershowitz, Jouannaud - 1990 ACM DBLP
353 Term Rewriting and All That (context) - Baader, Nipkow - 1998
148 Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Rozenberg - 1997
138 Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, van Eekelen - 1993 ACM
120 Regulated Rewriting in Formal Language Theory (context) - Dassow, Paun - 1989 ACM
116 Introduction to the algebraic theory of graph grammars (context) - Ehrig
109 The Implementation of Functional Programming Languages (context) - Jones - 1987
102 Term graph rewriting (context) - Barendregt, van Eekelen et al. - 1987 ACM DBLP
79 Graph Grammars and Their Application to Computer Science (context) - Ehrig, Nagl et al. - 1983 ACM
79 Graph Grammars and Their Application to Computer Science (context) - Ehrig, Nagl et al. - 1987 ACM
79 Graph Grammars and Their Application to Computer Science and.. (context) - Claus, Ehrig et al. - 1979
79 Graph Grammars and Their Application to Computer Science (context) - Ehrig, Kreowski et al. - 1991 ACM
63 Theoretical Computer Science (context) - Padawitz, operational - 1982 ACM
62 Term rewriting systems (context) - Klop - 1992 ACM
59 Conceptual modelling of database applications using an exten.. - Engels, Gogolla et al. - 1992 ACM
59 Graph grammars with negative application conditions - Habel, Heckel et al. - 1996 ACM DBLP
59 Lazy Memo Functions (context) - John, Hughes - 1985
49 Equational term graph rewriting - Ariola, Klop - 1996 ACM DBLP
45 Graph grammars: An algebraic approach (context) - Ehrig, Pfender et al. - 1973
43 Graph grammar engineering with PROGRES (context) - Schurr, Winter et al. - 1995 ACM DBLP
40 AGG --- an implementation of algebraic graph rewriting (context) - Lowe, Beyer - 1993
40 Algebraic approaches to graph transformation -- Part I: Basi.. - Corradini, Montanari et al.
38 A graphical query language with recursion (context) - Angelaccio, Catarci et al. - 1990
29 A hygraph-based query and visualization system (context) - Consens, Mendelzon - 1993
28 the structure of node-labelcontrolled graph languages (context) - Janssens, Rozenberg - 1980
27 Graph rewriting: An algebraic and logical approach (context) - Courcelle - 1990
25 Parallel and Distributed Graph Transformation: Formal Descri.. (context) - Taentzer - 1996
24 Computing with graph rewriting systems with priorities (context) - Litovsky, M'etivier - 1993 ACM DBLP
24 Implementing term rewriting by jungle evaluation - Hoffmann, Plump - 1991 DBLP
24 Pragmatic and semantic aspects of a module concept for graph.. (context) - Ehrig, Engels ACM DBLP
24 An algorithm for optimal lambda calculus reduction (context) - Lamping - 1990 ACM DBLP
23 Concurrent term rewriting as a model of computation (context) - Goguen, Kirchner et al. - 1987 ACM DBLP
21 Evaluation of Functional Expressions by Hypergraph Rewriting (context) - Plump - 1993
21 EER -- syntax and semantics of an entity-relationship-based .. (context) - Hohenstein, Engels - 1992
21 Redex capturing in term graph rewriting (context) - Farmer, Watro - 1990 DBLP
20 graph languages and string-to-graph translations (context) - Pratt - 1971
20 Programmed graph replacement systems - Schurr ACM DBLP
18 A hybrid query language for the extended entity relationship.. - Andries, Engels - 1996
18 Term Graph Rewriting (context) - Sleep, Plasmeijer et al. - 1993 ACM DBLP
18 Defining and parsing visual languages with layered graph gra.. - Rekers, Schurr - 1997 DBLP
18 Node replacement graph grammars (context) - Engelfriet, Rozenberg ACM DBLP
18 Hyperedge replacement jungle rewriting for term rewriting sy.. (context) - Corradini, Rossi - 1993
17 PROGRES: A VHL-language based on graph grammars (context) - Schurr
17 Syntax and semantics of hybrid database languages (context) - Andries, Engels ACM DBLP
17 Operationales Spezifizieren mit programmierten Graphersetzun.. (context) - Schurr - 1991
16 the adequacy of graph rewriting for simulating term rewritin.. - Kennaway, Klop et al. - 1994
16 Lecture Notes in Computer Science (context) - Habel, Grammars - 1992
16 another step towards a module concept for graph transformati.. (context) - Taentzer, Schurr
16 Semantics and Pragmatics of the Lambda Calculus (context) - Wadsworth - 1971
15 Collapsed tree rewriting: Completeness (context) - Plump - 1993
15 On termination of graph rewriting (context) - Plump - 1995 ACM DBLP
15 Hypergraph rewriting: Critical pairs and undecidability of c.. (context) - Plump
15 Graph grammars with application conditions (context) - Ehrig, Habel - 1986
14 Graph Grammars and Their Application to Computer Science (context) - Cuny, Ehrig et al. - 1996 ACM
14 Computation on graph-like expressions (context) - Staples - 1980 DBLP
14 Programmed graph grammars (context) - Bunke
13 Rapid programming with graph rewrite rules (context) - Schurr - 1994
12 Mathematical Structures in Computer Science (context) - Habel, Plump et al. - 1996
12 Critical pairs in term graph rewriting (context) - Plump - 1994 ACM DBLP
12 Graph ed : An interactive tool for developing graph grammars (context) - Himsolt
12 SEMAGRAPH Workshop on Graph Rewriting and Computation (context) - Corradini, Montanari et al. - 1995
12 Set theoretic approaches to graph grammars (context) - Nagl ACM DBLP
12 Jungle rewriting: an abstract description of a lazy narrowin.. (context) - Corradini, Wolz DBLP
12 an attribute graph grammar based specification language (context) - Schurr, PROGRES - 1990
11 engineering database system (context) - Kiesel, Schurr et al. - 1995
11 Implementing term rewriting by graph reduction: Termination .. (context) - Plump - 1991 DBLP
11 Graph unification and matching (context) - Plump, Habel ACM DBLP
11 Bisimilarity in term graph rewriting - Ariola, Klop et al. - 1998
11 the interleaving semantics of transformation units --- a ste.. (context) - Kreowski, Kuske
10 On structured graph grammars (context) - Kreowski, Rozenberg - 1990
10 Nested graph transformation units (context) - Kreowski, Kuske et al. - 1998 DBLP
10 Nondeterministic control structures for graph rewriting syst.. (context) - Schurr, Zundorf - 1991 ACM DBLP
10 Amalgamated graph transformation systems and their use for s.. (context) - Taentzer, Beyer
10 Modularity in noncopying term rewriting (context) - Kurihara, Ohuchi - 1995 ACM DBLP
10 GOOD: A graph-oriented object database system - Gemis, Paredaens et al. - 1993
9 Hans-Jorg Kreowski (context) - Habel - 1991
9 Unlimp: Uniqueness as a leitmotiv for implementation - Kahrs - 1992
9 A kernel language for programmed rewriting (context) - Maggiolo-Schettini, Winkowski - 1996
9 Parallelism of manipulations in multidimensional information.. (context) - Ehrig, Kreowski - 1976 DBLP
9 Web automata and web grammars (context) - Rosenfeld, Milgram - 1972
9 An introduction to the NLC way of rewriting graphs (context) - Rozenberg ACM DBLP
8 Algebraic approach to single-pushout graph transformation (context) - Lowe - 1993 ACM DBLP
8 Graph-reducible term rewriting systems (context) - Plump ACM DBLP
8 Characteristics of graph languages generated by edge replace.. (context) - Habel, Kreowski - 1987 ACM DBLP
8 Graph Rewrite Systems and Visual Database Languages (context) - Andries - 1996
8 Eine Entwicklungsumgebung fur PROgrammierte GRaphErsetzungsS.. (context) - Zundorf - 1995
8 Term Rewriting with Sharing and Memoization - Hoffmann - 1992
7 Graph grammars and logic programming (context) - Corradini, Montanari et al.
7 An efficient implementation of graph grammars based on the R.. (context) - Bunke, Glauser et al.
7 Dactl: An experimental graph rewriting language - Glauert, Kennaway et al. DBLP
6 Graph Transformations in Computer Science (context) - Schneider, Ehrig et al. - 1994 ACM
6 the generative power of sequential and parallel programmed g.. (context) - Bunke - 1982
6 Five facets of hyperedge replacement beyond contextfreeness (context) - Kreowski - 1993
6 Graph reducibility of term rewriting systems (context) - Rao - 1995 ACM DBLP
5 Algebraic approaches to graph transformation -- Part II: Sin.. (context) - Ehrig, Heckel et al.
4 Simplification orders for term graph rewriting (context) - Plump - 1997 ACM DBLP
4 Termination of graph rewriting is undecidable - Plump - 1998 ACM DBLP
4 Graphgrammatiken in der Softwaretechnik (context) - Gottler - 1988
3 Modularity of termination in term graph rewriting (context) - Rao - 1996 ACM DBLP
3 Formal systems for structure manipulations (context) - Schneider - 1971
3 Pfaltz and Azriel Rosenfeld (context) - John - 1969
3 Comparing -calculus translations in sharing graphs (context) - Asperti, Laneve - 1995
3 PLEXUS: Tools for analyzing graph grammars (context) - Wanke DBLP
3 and Francesca Rossi (context) - Corradini, Montanari - 1996
3 Chomsky-Systeme fur partielle Ordnungen (context) - Schneider - 1970
3 PLAND toward two dimensional programming language (context) - Dehnert, Franck et al. - 1975
2 ACM Transactions on Software Engineering and Methodology (context) - Engels, Lewerentz et al. - 1992
2 al graphs, graph types and meta types (context) - Engels, Schurr
2 Is parallelism already concurrency (context) - Kreowski
1 Semantic modeling by hierarchical graphs (context) - Pratt - 1969
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-bremen.de/~hof/research/publications/): More
Reiko's Simple Modules for GRACE - Heckel, Hoffmann, Kuske (1997) (Correct)
Memoïzation for Term (Hypergraph) Rewriting (Extended.. - Hoffmann (Correct)
Hierarchical Graph Transformation - Drewes, Hoffmann, Plump (2000) (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