3 papers
cs.LO2008
A Cloning Pushout Approach to Term-Graph Transformation
Dominique Duval, Rachid Echahed, Frédéric Prost
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form such that and are termgraphs represe…
math.CT2007
Sequential products in effect categories
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
A new categorical framework is provided for dealing with multiple arguments in a programming language with effects, for example in a language with imperative features. Like related…
cs.PL2005
Data-Structure Rewriting
Dominique Duval, Rachid Echahed, Frederic Prost
We tackle the problem of data-structure rewriting including pointer redirections. We propose two basic rewrite steps: (i) Local Redirection and Replacement steps the aim of which i…