Algebraic approach to single-pushout graph transformation
Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
Term rewriting and all that
Issues in the Practical Use of Graph Rewriting
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Redundancy and Subsumption in High-Level Replacement Systems
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Proving Termination of Constraint Solver Programs
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Operational Equivalence of CHR Programs and Constraints
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
On Termination of Graph Rewriting
WG '95 Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science
Model-based testing for real: The inhouse card case study
International Journal on Software Tools for Technology Transfer (STTT)
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Stochastic and heuristic modelling for analysis of the growth of pre-invasive lesions and for a multidisciplinary approach to early cancer diagnosis
Semi-automatic Generation of CHR Solvers for Global Constraints
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Aggregates for CHR through Program Transformation
Logic-Based Program Synthesis and Transformation
Generation of Rule-Based Constraint Solvers: Combined Approach
Logic-Based Program Synthesis and Transformation
Termination Analysis of CHR Revisited
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
DNA Replication as a Model for Computational Linguistics
IWINAC '09 Proceedings of the 3rd International Work-Conference on The Interplay Between Natural and Artificial Computation: Part I: Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Constraint Handling Rules
Strong Joinability Analysis for Graph Transformation Systems in CHR
Electronic Notes in Theoretical Computer Science (ENTCS)
Observable confluence for constraint handling rules
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Graph transformation systems in CHR
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Parallelizing union-find in constraint handling rules using confluence analysis
ICLP'05 Proceedings of the 21st international conference on Logic Programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Confluence of graph transformation revisited
Processes, Terms and Cycles
Principal type inference for GHC-Style multi-parameter type classes
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Hi-index | 0.00 |
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.