High-level programs and program conditions

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

Volumn 5214 LNCS, Issue , 2008, Pages 211-225

  Azab, Karl ^a   Habel, Annegret ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY;

DEPENDENCE RELATIONS; GRAPHICAL NOTATIONS; NORMAL FORMS; PROGRAM CONDITIONS; PROGRAM DERIVATIONS; SEQUENTIAL COMPOSITIONS;

THEOREM PROVING;

EID: 56449122321     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87405-8_15     Document Type: Conference Paper

References (19)

1. Heckel, R., Wagner, A.: Ensuring consistency of conditional graph grammars - a constructive approach. In: SEGRAGRA 1995. ENTCS, vol. 2, pp. 95-104 (1995)
2. Koch, M., Mancini, L.V., Parisi-Presicce, F.: Graph-based specification of access control policies. Journal of Computer and System Sciences 71, 1-33 (2005)
3. Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.H.: Theory of constraints and application conditions: From graphs to high-level structures. Fundamenta Informaticae 74(1), 135-166 (2006)
4. Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions, in: Mathematical Structures in Computer Science (to appear, 2008)
5. Azab, K., Habel, A.: High-level programs and program conditions (long version). Technical report. University of Oldenburg (2008)
6. Ehrig, H., Kreowski, H.J.: Pushout-properties: An analysis of gluing constructions for graphs. Mathematische Nachrichten 91, 135-149 (1979)
7. Habel, A., Pennemann, K.H., Rensink, A.: Weakest preconditions for high-level programs. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 445-460. Springer, Heidelberg (2006)
8. Ehrig, H.: Introduction to the algebraic theory of graph grammars, in: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol. 73, pp. 1-69. Springer, Heidelberg (1979)
9. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation. Part 1: Basic concepts and double pushout approach. In: Handbook of Graph Grammars and Computing by Graph Transformation, pp. 163-245. World Scientific, Singapore (1997)
10. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamental theory of typed attributed graph transformation based on adhesive HLR-categories. Fundamenta informaticae 74(1), 31-61 (2006)
11. Lambers, L., Ehrig, H., Prange, U., Orejas, F.: Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. In: Workshop on Applied and Computational Category Theory (ACCAT 2007). ENTCS. Elsevier, Amsterdam (to appear, 2008)
12. Habel, A., Plump, D.: Computational completeness of programming languages based on graph transformation. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol. 2030, pp. 230-245. Springer, Heidelberg (2001)
13. Plump, D.: Confluence of graph transformation revisited. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to infinity. LNCS, vol. 3838, pp. 280-308. Springer, Heidelberg (2005)
14. Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Applied Categorical Structures 9(1), 83-110 (2001)
15. Rensink, A.: Nested quantification in graph transformation rules. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 1-13. Springer, Heidelberg (2006)
16. Lambers, L.: A new version of GTXL: An exchange format for graph transformation systems. In: Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004). ENTCS, vol. 127, pp. 51-63 (2005)
17. Göttler, H.: Deriving productions from productions with an application to picasso's ceuvre. In: Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2, pp. 459-484. World Scientific, Singapore (1999)
18. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
19. Beckert, B., Schlager, S.: A sequent calculus for first-order dynamic logic with trace modalities. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR, 2001. LNCS (LNAI), vol. 2083, pp. 626-641. Springer, Heidelberg (2001)