Programmed graph transformations and graph transformation units in GRACE

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1073, Issue , 1996, Pages 122-136

  Schürr, Andy ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; HIGH LEVEL LANGUAGES; METADATA;

COMPLEX TRANSFORMATIONS; CONTROL FLOW GRAPHS; GRAPH TRANSFORMATION; HIGH-LEVEL MECHANISM; IMPERATIVE PROGRAMMING; PROCEDURAL KNOWLEDGE; PROGRAMMING ENVIRONMENT; REGULATION MECHANISMS;

FLOW GRAPHS;

EID: 84947790751     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61228-9_83     Document Type: Conference Paper

References (22)

1. Bunke H.: Sequentielle undparalleleprogrammierte Graphgrammatiken, Dissertation, Technical Report IMMD-7-7, Universitäit Erlangen, Germany (1974)
2. Bunke H.: Programmed Graph Grammars, in: Proc. Int. Workshop on Graph- Grammars and Their Application to Computer Science and Biology, LNCS 73, Springer Verlag, Germany (1979), 155-166
3. Dijkstra E.W.: Guarded Commands, Nondeterminacy, and Formal Derivation of Programs, in CACM, no. 18, acm Press, USA (1975), 453-457
4. Dassow J., Paun G.: Regulated Rewriting in Formal Language Theory, EATCS 18, Springer Verlag, Germany (1989)
5. Dörr H.: Efficient Graph Rewriting and Its Implementatiion, Dissertation, LNCS 922, Springer Verlag, Germany (1995)
6. Engels G., Lewerentz C., Nagl M., Schäfer W., Schürr A.: Building Integrated Software Development Environments, in: ACM TOSEM, vol. 1, no. 2, acm Press, USA (1992),135-167
7. Göttler H.: Graphgrammatiken in der Softwaretechnik, IFB 178, Springer Verlag, Germany (1988)
8. Himsolt M.: GraphED: An Interactive Graph Editor, in: Proc. STACS 89, LNCS 349, Springer Verlag, Germany (1988), 532-533
9. Kreowski H.J., Kuske S.: On the Interleaving Semantics of Transformation Units - A Step into GRACE, in: Proc. 5th Int. Workshop Workshop on Graph-Grammars and Their Application to Computer Science, same volume
10. Kreowski H.J.: Graph Grammars for Software Specification and Programming: An Eulology in the Praise of GRACE, in: Proc. Colloquium on Graph Transformations and its Applications in Computer Science, Technical Report B-19, Universitat de les Illes Balears, Departament de Ciencies Matematiques i Informatica (1994), 55-62
11. L6we M., Beyer M.: AGG - An Implementation of Algebraic Graph Rewriting, LNCS 690, Proc. 5th Int. Conf. on Rewriting Techniques and Applications, Springer Verlag, Germany (1993)
12. Manna Z.: Mathematical Theory of Computation, New York: McGraw-Hill, USA (1974)
13. Maggiolo-Schettini A., Winkowski J.: Programmed Derivations of Relational Structures, in: Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science, LNCS 532, Springer Verlag, Germany (1991), 582-598
14. Nagl M.: Graphgrammatiken, Vieweg Verlag, Germany (1979)
15. Nelson G.: A Generalization of Dijkstra's Calculus, in ACM Transactions on Programming Languages and Systems, vol. 11, no. 4, acm Press, USA (1989), 517-561
16. Schürr A.: PROGRES: A VHL-Language Based on Graph Grammars, in: Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science, LNCS 532, Springer Verlag, Germany (1991), 641-659
17. SchiJrr A.: Operationales Spezifizieren mit programmierten Graphgrammatiken, Dissertation, RWTH Aachen, Deutscher Universi~tsvedag, Germany (1991)
18. Schürr A.: Logic Based Programmed Structure Rewriting Systems, appears in: Special Issue on Graph Transformation Systems, Fundamenta Informaticae, North-Holland
19. Schürr A., Zündorf A.: Nondeterministic Control Structures for Graph Rewriting Systems, in Proc. WG'91 Workshop in Graphtheoretic Concepts in Computer Science, LNCS 570, Springer Verlag, Germany (1992), 48-62
20. Westfechtel B.: Revisionskontrolle in einer integrierten Soflwareentwicklungs- Umgebung, Dissertation, RWTH Aachen, Informatik-Fachberichte 280, Springer Verlag, Germany (1991)
21. Zündorf A.: Implementation of the Imperative/Rule Based Language PROGRES, Technical Report AIB 92-38, RWTH Aachen, Germany (1992)
22. Zündorf A.: Eine Entwicklungsumgebung für PROgrammierte GRaphErsetzungs- Systeme, Dissertation, RWTH Aachen (1995)