Cuny, J., H. Ehrig, G. Engels and G. Rozenberg, editors, "Graph Grammars and Their Application to Computer Science," Lecture Notes in Computer Science 1073, Springer-Verlag, 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... structures, with a binary gluing operation and all possible quantifier free first order definable unary operations, is presented in [Cou5] For a recent survey on C edNCE see [ER2] Other surveys that discuss work on C edNCE and HR are [Cou8, DHK, Eng5, Eng6] For graph grammars in general see [Roz, ENRR, EKR, CEER]. 2 Preliminaries N = f0; 1; 2; g and for m;n 2 N, m; n] fm; ng. The domain of a function f is denoted dom(f ) 2.1 Graphs, trees, and strings The reader is assumed to be familiar with formal language theory (see, e.g. HU] in particular tree language theory (see, e.g. ....

J.Cuny, H.Ehrig, G.Engels, G.Rozenberg (eds.); Graph Grammars and their Application to Computer Science, Lecture Notes in Computer Science 1073, Springer-Verlag, Berlin, 1996

....logic programming, formal languages, algebraic specification, theorem proving, and rule based systems. The intention of bringing graphs and rules together motivated by several application areas has led to the theory of graph grammars and graph transformation (see volume I of the Handbook and [1 7] for a survey) A wide spectrum of approaches exists within this theory and some of them are implemented (see, for example, Progres [8, 9] Graph Ed [10] Dactl [11] and Agg [12, 13] With the aim of enhancing the usefulness of graph transformation, we introduce approach independent ....

Janice E. Cuny, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, editors. Proc. Graph Grammars and Their Application to Computer Science, number 1073 in Lecture Notes in Computer Science, 1996.

....languages, algebraic specification, theorem proving, and rule based systems. The intention of bringing graphs and rules together motivated by several application areas has led to the theory of graph grammars and graph transformation (see [CER79, ENR83, ENRR87, EKR91, SE94, AEH 96, CEER96] for a survey) A wide spectrum of approaches exists within this theory and some of them are implemented (see, for example, PROGRES [Sch91a, Sch91b] Graph Ed [Him91] Dactl [GKS91] and AGG [LB93, TB94] With the aim of enhancing the usefulness of graph transformation, we propose a new ....

Janice E. Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg, eds. Proc. Graph Grammars and Their Application to Computer Science, number 1073 in Lecture Notes in Computer Science, 1996.

....Integration Using Graph Transformations Graph grammars and transformations have been introduced as a generalisation of Chomsky grammars on one hand and of term rewriting systems on the other hand about 25 years ago. Meanwhile there is a well established theory of graph transformations (cf. EKR91,CEER96] which has a number of useful applications to system modelling and software engineering (cf. Nag96,Zam96,AE96,SWZ95] based on concrete specification languages and supporting tools (cf. Sch91,LB93] The main idea of our specification approach using graph transformations is to model object ....

J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg. Graph Grammars and Their Application to Computer Science. Springer, LNCS 1073, 1996.

....of database systems, specification of abstract data types, specification of distributed systems, etc. This development is documented in proceedings and other collections of selected papers, in some monographs as well as in a handbook [CER79, ENR83, ENRR87, EKR91, Hab92, PvE93, SPvE93, SE94, CM95, CEER96, Roz97] This paper surveys some recent developments in applying graph transformation to the specification and development of systems, languages, and tools. Section 2 recalls the basic concepts of a fairly general approach to graph transformation, and points out possible variations and ....

Janice E. Cuny, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, editors. Proc. Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 1073, 1996.

....specification of database systems, specification of abstract data types, specification of distributed systems, etc. This development is documented in proceedings and other collections of selected papers as well as in some monographs [CER79, ENR83, ENRR87, EKR91, Hab92, PvE93, SPvE93, SE94, CM95, CEER96] This paper surveys some recent developments in applying graph transformation to the specification and development of systems, languages, and tools. Section 2 recalls the basic concepts of a fairly general approach to graph transformation, and points out possible variations and generalizations. ....

Janice E. Cuny, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, editors. Proc. Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 1073, 1996.

No context found.

Cuny, J., H. Ehrig, G. Engels and G. Rozenberg, editors, "Graph Grammars and Their Application to Computer Science," Lecture Notes in Computer Science 1073, Springer-Verlag, 1996.

No context found.

Cuny, J., Ehrig, H., Engels, G., & Rozenberg, G. (1994). Graph Grammars and their Applications to Computer Science. Springer.

No context found.

J. E. Cuny, H. Ehrig, G. Engels, and G. Rozenberg (Eds.), "Graph Grammars and Their Application to Computer Science, Selected Papers," Lecture Notes in Computer Science, Vol. 1073, SpringerVerlag, New York/Berlin, 1996.

No context found.

Janice E. Cuny, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, editors. Graph Grammars and Their Application to Computer Science, Selected Papers, volume 1073 of Lecture Notes in Computer Science. Springer-Verlag, 1996.

No context found.

J. E. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors. Proc. Graph Grammars and Their Application to Computer Science, number 1073 in Lecture Notes in Computer Science. Springer, 1996.

No context found.

Janice E. Cuny, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, editors. Graph Grammars and Their Application to Computer Science, Selected Papers, volume 1073 of Lecture Notes in Computer Science. Springer-Verlag, 1996.

No context found.

Janice E. Cuny, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, editors. Graph Grammars and Their Application to Computer Science, Selected Papers, volume 1073 of Lecture Notes in Computer Science. Springer-Verlag, 1996.

No context found.

Janice E. Cuny, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, editors. Proc. Graph Grammars and Their Application to Computer Science, volume 1073 of Lecture Notes in Computer Science, 1996.

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