37 citations · 96 across the 20 of their papers we have counts for
7 papers · 1 filter
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 24th International Workshop on Unification
Maribel Fernandez
This volume contains selected papers presented at the 24th International Workshop on Unification, UNIF2010, which was held in Edinburgh on the 14th July 2010, as part of FLoC 2010…
Closed nominal rewriting and efficiently computable nominal algebra equality
Maribel Fernández, Murdoch J. Gabbay
We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results,…
Labelled Lambda-calculi with Explicit Copy and Erase
Maribel Fernández, Nikolaos Siafakas
We present two rewriting systems that define labelled explicit substitution lambda-calculi. Our work is motivated by the close correspondence between Levy's labelled lambda-calculu…
Graph Creation, Visualisation and Transformation
Maribel Fernández, Olivier Namet
We describe a tool to create, edit, visualise and compute with interaction nets - a form of graph rewriting systems. The editor, called GraphPaper, allows users to create and edit…
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…