See this document in CiteSeerX!

Graph Transformation for Specification and Programming (1996)  (Make Corrections)  (17 citations)
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

 
View or download:
informatik.unibre...reportGRACE.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  informatik.unibremen.de/~kusk... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The framework of graph transformation combines the potentials and advantages of both, graphs and rules, into a single computational paradigm. In this paper we survey recent developments in applying graph transformation as a rule-based framework for the specification and development of systems, languages, and tools. After presenting the basic features of graph transformation, we discuss a spectrum 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):
23.8%:   Graph Transformation for Specification and Programming - Marc Andries, Gregor.. (1996)   (Correct)

Active bibliography (related documents):   More   All
1.7:   Graph Transformation Units with Interleaving Semantics - Kreowski, Kuske (1999)   (Correct)
1.6:   Computing by Graph Transformation - A Survey and Annotated.. - Ehrig, (eds.) (1996)   (Correct)
1.4:   Graph Transformation Units And Modules - Kreowski, Kuske (1999)   (Correct)

Similar documents based on text:   More   All
0.7:   A Formal Semantics of UML State Machines Based on Structured Graph .. - Kuske (2001)   (Correct)
0.6:   Towards Common Exchange Formats for Graphs and Graph.. - Taentzer (2001)   (Correct)
0.6:   Appligraph: Applications of Graph Transformation - Second.. - Kreowski, (eds.) (1999)   (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/article/andries96graph.html   More

@phdthesis{ andries96graph,
    author = "M.~Andries",
    title = "Graph Rewrite Systems and Visual Database Languages",
    year = "1996",
    url = "citeseer.ist.psu.edu/article/andries96graph.html" }
Citations (may not include all citations):
3972   Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990
788   Rewrite systems - Dershowitz, Jouannaud - 1990
138   Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, van Eekelen - 1993
120   Regulated Rewriting in Formal Language Theory (context) - Dassow, Paun - 1989
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
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, Nagl et al. - 1987
79   Graph Grammars and Their Application to Computer Science (context) - Ehrig, Nagl et al. - 1983
79   Graph Grammars and Their Application to Computer Science (context) - Ehrig, Kreowski et al. - 1991
71   Transfinite reductions in orthogonal term rewriting systems - Kennaway, Klop et al. - 1991
63   Theoretical Computer Science (context) - Padawitz, operational - 1982
62   Term rewriting systems (context) - Klop - 1992
59   Graph grammars with negative application conditions - Habel, Heckel et al. - 1996
59   Conceptual modelling of database applications using an exten.. - Engels, Gogolla et al. - 1992
49   Equational term graph rewriting - Ariola, Klop - 1996
45   Graph grammars: An algebraic approach (context) - Ehrig, Pfender et al. - 1973
40   AGG --- an implementation of algebraic graph rewriting (context) - Lowe, Beyer - 1993
40   Algebraic approaches to graph transformation part I: Basic c.. - Corradini, Ehrig et al. - 1996
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
27   Dactl: An experimental graph rewriting language - Glauert, Kennaway et al.
25   Parallel and Distributed Graph Transformation: Formal Descri.. (context) - Taentzer - 1996
24   Pragmatic and semantic aspects of a module concept for graph.. (context) - Ehrig, Engels
24   Computing with graph rewriting systems with priorities (context) - Litovsky, M'etivier - 1993
24   Implementing term rewriting by jungle evaluation - Hoffmann, Plump - 1991
24   An algorithm for optimal lambda calculus reduction (context) - Lamping - 1990
23   Concurrent term rewriting as a model of computation (context) - Goguen, Kirchner et al. - 1987
21   EER -- syntax and semantics of an entity-relationship-based .. (context) - Hohenstein, Engels - 1992
21   Evaluation of Functional Expressions by Hypergraph Rewriting (context) - Plump - 1993
21   Redex capturing in term graph rewriting (context) - Farmer, Watro - 1990
19   Equations and rewrite rules (context) - Huet, Oppen - 1980
18   A hybrid query language for the extended entity relationship.. - Andries, Engels - 1997
18   Hyperedge replacement jungle rewriting for term rewriting sy.. (context) - Corradini, Rossi - 1993
18   Term Graph Rewriting (context) - Sleep, Plasmeijer et al. - 1993
17   PROGRES: A VHL-language based on graph grammars (context) - Schurr
17   Syntax and semantics of hybrid database languages (context) - Andries, Engels
17   Operationales Spezifizieren mit programmierten Graphersetzun.. (context) - Schurr - 1991
16   Semantics and Pragmatics of the Lambda Calculus (context) - Wadsworth - 1971
16   another step towards a module concept for graph transformati.. (context) - Taentzer, Schurr
16   Lecture Notes in Computer Science (context) - Habel, Grammars - 1992
15   Collapsed tree rewriting: Completeness (context) - Plump - 1993
15   Graph grammars with application conditions (context) - Ehrig, Habel - 1986
15   On termination of graph rewriting (context) - Plump - 1995
15   Hypergraph rewriting: Critical pairs and undecidability of c.. (context) - Plump
14   Computation on graph-like expressions (context) - Staples - 1980
14   Graph Grammars and Their Application to Computer Science (context) - Cuny, Ehrig et al. - 1996
14   Programmed graph grammars (context) - Bunke
13   Rapid programming with graph rewrite rules (context) - Schurr - 1994
12   Critical pairs in term graph rewriting (context) - Plump - 1994
12   SEMAGRAPH Workshop on Graph Rewriting and Computation (context) - Corradini, Montanari et al. - 1995
12   Jungle rewriting: an abstract description of a lazy narrowin.. (context) - Corradini, Wolz
12   Set theoretic approaches to graph grammars (context) - Nagl
12   an attribute graph grammar based specification language (context) - Schurr, PROGRES - 1990
12   Graph ed : An interactive tool for developing graph grammars (context) - Himsolt
12   Mathematical Structures in Computer Science (context) - Habel, Plump et al. - 1996
11   Implementing term rewriting by graph reduction: Termination .. (context) - Plump - 1991
11   engineering database system (context) - Kiesel, Schurr et al. - 1995
11   the interleaving semantics of transformation units --- a ste.. (context) - Kreowski, Kuske
10   Amalgamated graph transformation systems and their use for s.. (context) - Taentzer, Beyer
10   GOOD: A graph-oriented object database system - Gemis, Paredaens et al. - 1993
10   On structured graph grammars (context) - Kreowski, Rozenberg - 1990
10   Nondeterministic control structures for graph rewriting syst.. (context) - Schurr, Zundorf - 1991
9   A kernel language for programmed rewriting (context) - Maggiolo-Schettini, Winkowski - 1996
9   Hans-Jorg Kreowski (context) - Habel - 1991
9   Web automata and web grammars (context) - Rosenfeld, Milgram - 1972
9   Parallelism of manipulations in multidimensional information.. (context) - Ehrig, Kreowski - 1976
9   An introduction to the NLC way of rewriting graphs (context) - Rozenberg
8   Eine Entwicklungsumgebung fur PROgrammierte GRaphErsetzungsS.. (context) - Zundorf - 1995
8   Algebraic approach to single-pushout graph transformation (context) - Lowe - 1993
8   Graph-reducible term rewriting systems (context) - Plump
8   Characteristics of graph languages generated by edge replace.. (context) - Habel, Kreowski - 1987
8   Graph Rewrite Systems and Visual Database Languages (context) - Andries - 1996
7   An efficient implementation of graph grammars based on the R.. (context) - Bunke, Glauser et al.
6   Graph Transformations in Computer Science (context) - Schneider, Ehrig et al. - 1994
6   the generative power of sequential and parallel programmed g.. (context) - Bunke - 1982
6   Graph reducibility of term rewriting systems (context) - Rao - 1995
6   Five facets of hyperedge replacement beyond contextfreeness (context) - Kreowski - 1993
4   Graphgrammatiken in der Softwaretechnik (context) - Gottler - 1988
3   Comparing -calculus translations in sharing graphs (context) - Asperti, Laneve - 1995
3   PLEXUS: Tools for analyzing graph grammars (context) - Wanke
3   PLAND toward two dimensional programming language (context) - Dehnert, Franck et al. - 1975
3   Formal systems for structure manipulations (context) - Schneider - 1971
3   Chomsky-Systeme fur partielle Ordnungen (context) - Schneider - 1970
3   and Francesca Rossi (context) - Corradini, Montanari - 1996
3   Pfaltz and Azriel Rosenfeld (context) - John - 1969
2   al graphs, graph types and meta types (context) - Engels, Schurr
2   Is parallelism already concurrency (context) - Kreowski
2   Logic based programmed structure rewriting systems (context) - Schurr - 1996
2   ACM Transactions on Software Engineering and Methodology (context) - Engels, Lewerentz et al. - 1992



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://www.informatik.uni-bremen.de/~kuske/):   More
On the Interleaving Semantics of Transformation Units - A.. - Kreowski, Kuske (1994)   (Correct)
Graph Transformation Units with Interleaving Semantics - Kreowski, Kuske (1999)   (Correct)
Graph Transformation Units And Modules - Kreowski, Kuske (1999)   (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