GrCen: A fast SPO-based graph rewriting tool

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

Volumn 4178 LNCS, Issue , 2006, Pages 383-397

  Geiß, Rubino ^a   Batz, Gernot Veit ^a   Grund, Daniel ^a   Hack, Sebastian ^a   Szalkowski, Adam ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; COMPUTER GRAPHICS; COST EFFECTIVENESS; HEURISTIC METHODS; OPTIMIZATION; PROBLEM SOLVING;

GRAPH REWRITING; MATCHING STRATEGIES; OPTIMIZATION PROBLEM; PROGRAM CODES;

PATTERN MATCHING;

EID: 33750271573     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841883_27     Document Type: Conference Paper

References (24)

1. Geiß, R.: GRGEN. http://www.info.uni-karlsruhe.de/software.php/id=7 (2006)
2. Garey, M.R., Johnson, D.S.: Computers and Intractability; A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York, NY, USA (1990)
3. Schürr, A.: The PROGRES Approach: Language and Environment. In: [24]. Volume 2. (1999) 487-550
4. Ermel, C., Rudolf, M., Taentzer, G.: The AGG Approach: Language and Environment. In: [24]. Volume 2. (1999) 551-603
5. Fujaba Developer Team: Fujaba-Homepage. http://www.fujaba.de/ (2005)
6. Varró, G., Friedl, K., Varró, D.: Graph Transformations in Relational Databases. In: Proc. GraBaTs 2004: Intl. Workshop on Graph Baaed Tools, Elsevier (2004)
7. Varró, G., Schurr, A., Varró, D.: Benchmarking for Graph Transformation. Technical report, Department of Computer Science and Information Theory, Budapest University of Technology and Economics (2005)
8. Batz, G.V.: Graphersetzung für eine Zwischendarstellung im Übersetzerbau. Master's thesis, Universität Karlsruhe (2005)
9. Dörr, H.: Efficient Graph Rewriting and its Implementation. Volume 922 of LNCS. Springer-Verlag New York, Inc., Secaucus, NJ, USA (1995)
10. Batz, G.V.: An Optimization Technique for Subgraph Matching Strategies. Technical Report 2006-7, Universität Karlsruhe, Fakultät für Informatik (2006)
11. Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In: [24]. Volume 1. (1999) 247-312
12. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation - Part I: Basic concepts and double pushout approach. In: [24]. Volume 1. (1999) 163-245
13. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer (2006)
14. Szalkowski, A.M.: Negative Anwendungsbedingungen für das suchprogrammbasierte Backend von GrGen (2005) Studienarbeit, Universität Karlsruhe.
15. Hack, S.: Graphersetzung für Optimierungen in der Codeerzeugung. Master's thesis, Universität Karlsruhe (2003)
16. Grund, D.: Negative Anwendungsbedingungen für den Graphersetzer GRGEN(2004) Studienarbeit, Universität Karlsruhe.
17. Schürr, A.: Logic based programmed structure rewriting systems. Fundamenta Informaticae, Special Issues on Graph Transformations 26(3/4) (1996)
18. Zündorf, A.: Graph Pattern Matching in PROGRES. In: Proc. 5th. Int. Workshop on Graph-Grammars and their Application to Computer Science. Volume 1073 of LNCS., Springer (1996) 454-468
19. Rudolf, M.: Utilizing constraint satisfaction techniques for efficient graph pattern matching. In: TAGT'98: Selected papers from the 6th Intl. Workshop on Theory and Application of Graph Transformations. Volume 1764., LNCS (1998) 238-251
20. Varró, G.: Graph transformation benchmarks page, http://www.cs.bme.hu/ ~gervarro/benchmark/2.0/ (2005)
21. Assmann, U.: Graph rewrite systems for program optimization. ACM Trans. Program. Lang. Syst. 22(4) (2000) 583-637
22. Varró, G., Varró, D., Friedl, K.: Adaptive graph pattern matching for model transformations using model-sensitive search plans. In Karsai, G., Taentzer, G., eds.: Proc. of Int. Workshop on Graph and Model Transformation (GraMoT'05). Volume 152 of ENTCS., Tallinn, Estonia, Elsevier (2005) 191-205
23. Standard Performance Evaluation Corporation: All SPEC CPU2000 results published by SPEC page, http://www.spec.org/cpu2000/results/cpu2000.html (2005)
24. Rozenberg, G., ed.: Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific (1999)