37 citations · 79 across the 7 of their papers we have counts for
4 papers · 1 filter
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework
Maribel Fernández, Hélène Kirchner, Bruno Pinaud
We present strategic portgraph rewriting as a basis for the implementation of visual modelling and analysis tools. The goal is to facilitate the specification, analysis and simulat…
A rewriting point of view on strategies
Hélène Kirchner
This paper is an expository contribution reporting on published work. It focusses on an approach followed in the rewriting community to formalize the concept of strategy. Based on…
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming
Hélène Kirchner, César Muñoz
This volume contains selected papers from the proceedings of the First International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), which was held on Jul…
Termination of rewriting strategies: a generic approach
Isabelle Gnaedig, Helene Kirchner
We propose a generic termination proof method for rewriting under strategies, based on an explicit induction on the termination property. Rewriting trees on ground terms are modele…