Formalising behaviour preserving program transformations

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

Volumn 2505, Issue , 2002, Pages 286-301

  Mens, Tom ^a   Demeyer, Serge ^b   Janssens, Dirk ^b  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b UNIVERSITY OF ANTWERP   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY;

FORBIDDEN SUBGRAPHS; GRAPH REPRESENTATION; GRAPH REWRITING RULES; NEGATIVE APPLICATION CONDITIONS; OBJECT-ORIENTED PROGRAM; PRECISE DEFINITION; PROGRAM TRANSFORMATIONS; REFACTORING TOOLS;

OBJECT ORIENTED PROGRAMMING;

EID: 84937207194     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45832-8_22     Document Type: Conference Paper

References (20)

1. Fowler, M.: Refactoring: Improving the Design of Existing Programs. Addison- Wesley (1999)
2. Opdyke, W.: Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign (1992)
3. Opdyke, W., Johnson, R.: Creating abstract superclasses by refactoring. In: Proc. ACM Computer Science Conference, ACM Press (1993) 66–73
4. Roberts, D., Brant, J., Johnson, R.: A refactoring tool for Smalltalk. Theory and Practice of Object Systems 3 (1997) 253–263
5. Casais, E.: Automatic reorganization of object-oriented hierarchies: a case study. Object Oriented Systems 1 (1994) 95–115
6. Tichelaar, S.: Modeling Object-Oriented Software for Reverse Engineering and Refactoring. PhD thesis, University of Bern (2001)
7. Sunyé, G., Pollet, D., LeTraon, Y., Jézéquel, J.M.: Refactoring UML models. In: Proc. UML 2001. Volume 2185 of Lecture Notes in Computer Science., Springer- Verlag (2001) 134–138
8. Roberts, D.: Practical Analysis for Refactoring. PhD thesis, University of Illinois at Urbana-Champaign (1999)
9. Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Padberg, J.: The category of typed graph grammars and their adjunction with categories of derivations. In: Proceedings 5th International Workshop on Graph Grammars and their Application to Computer Science. Volume 1073 of Lecture Notes in Computer Science., Springer-Verlag (1996) 56–74
10. Engels, G., Schürr, A.: Encapsulated hierarchical graphs, graph types and meta types. Electronic Notes in Theoretical Computer Science 2 (1995)
11. Schürr, A., Winter, A.J., Zündorf, A.: Graph grammar engineering with PROGRES. In Schäfer, W., Botella, P., eds.: Proc. European Conf. Software Engineering. Volume 989 of Lecture Notes in Computer Science., Springer-Verlag (1995) 219–234
12. Janssens, D., Mens, T.: Abstract semantics for ESM systems. Fundamenta Informaticae 26 (1996) 315–339
13. Niere, J., Zündorf, A.: Using Fujaba for the development of production control systems. In Nagl, M., Schürr, A., Münch, M., eds.: Proc. Int. Workshop Agtive 99. Volume 1779 of Lecture Notes in Computer Science., Springer-Verlag (2000) 181–191
14. Ehrig, H.: Introduction to the algebraic theory of graph grammars. In Claus, V., Ehrig, H., Rozenberg, G., eds.: Graph Grammars and Their Application to Computer Science and Biology. Volume 73 of Lecture Notes in Computer Science., Springer-Verlag (1979) 1–69
15. Löwe, M.: Algebraic approach to single-pushout graph transformation. Theoretical Computer Science 109 (1993) 181–224
16. Bunke, H.: Programmed graph grammars. In Claus, V., Ehrig, H., Rozenberg, G., eds.: Graph Grammars and Their Application to Computer Science and Biology. Volume 73 of Lecture Notes in Computer Science., Springer-Verlag (1979) 155–166
17. Kreowski, H.J., Kuske, S.: Graph transformation units and modules. Handbook of Graph Grammars and Computing by Graph Transformation 2 (1999) 607–638
18. Schürr, A.: Logic based programmed structure rewriting systems. Fundamenta Informaticae 26 (1996) 363–385
19. Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26 (1996) 287–313
20. Heckel, R.: Algebraic graph transformations with application conditions. Master’s thesis, TU Berlin (1995)