Skip to main content
×
Home
    • Aa
    • Aa

Analysing graph transformation systems through constraint handling rules

  • FRANK RAISER (a1) and THOM FRÜHWIRTH (a1)
Abstract
Abstract

Graph transformation systems (GTS) and constraint handling rules (CHR) are non-deterministic rule-based state transition systems. CHR is well known for its powerful confluence and program equivalence analyses, for which we provide the basis in this work to apply them to GTS. We give a sound and complete embedding of GTS in CHR, investigate confluence of an embedded GTS and provide a program equivalence analysis for GTS via the embedding. The results confirm the suitability of CHR-based program analyses for other formalisms embedded in CHR.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

F. Baader and T. Nipkow 1998. Term Rewriting and All That. Cambridge University Press, New York.

H. Betz and T. Frühwirth 2005. A Linear-Logic Semantics for Constraint Handling Rules. In Principles and Practice of Constraint Programming, 11th International Conference, CP 2005, P. van Beek , Ed. Lecture Notes in Computer Science, vol. 3709. Springer-Verlag, Sitges, Spain, 137151.

T. Frühwirth 2000. Proving termination of constraint solver programs. In Selected Papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Constraints, K. R. Apt , A. C. Kakas , E. Monfroy and F. Rossi , Eds. Lecture Notes in Computer Science, vol. 1865. Springer-Verlag, 298317.

T. Frühwirth 2009. Constraint Handling Rules. Cambridge University Press.

H.-J. Kreowski and G. Valiente 2000. Redundancy and subsumption in high-level replacement systems. In TAGT'98: Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations, H. G. Ehrig , G. Engels , H.-J. Kreowski and G. Rozenberg , Eds. Lecture Notes in Computer Science, vol. 1765. Springer-Verlag, 215227.

D. Plump 1995. On Termination of graph rewriting. In Graph-Theoretic Concepts in Computer Science, 21st International Workshop, WG '95, Proceedings, M. Nagl , Ed. Lecture Notes in Computer Science, vol. 1017. Aachen, Germany, 88100.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords: