37 citations · 96 across the 20 of their papers we have counts for
4 papers · 1 filter
Nominal C-Unification
Mauricio Ayala-Rincón, Washington de Carvalho-Segundo, Maribel Fernández +1
Nominal unification is an extension of first-order unification that takes into account the α-equivalence relation generated by binding operators, following the nominal approach. We…
General dynamic recovery for compensating CSP
Abeer S. Al-Humaimeedy, Maribel Fernández
Compensation is a technique to roll-back a system to a consistent state in case of failure. Recovery mechanisms for compensating calculi specify the order of execution of compensat…
Strategic programming on graph rewriting systems
Maribel Fernández, Olivier Namet
We describe a strategy language to control the application of graph rewriting rules, and show how this language can be used to write high-level declarative programs in several appl…
Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming
Maribel Fernández
This volume contains selected papers presented at the 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS2009, which was held in Brasilia on the 28…