9 citations · 65 across the 33 of their papers we have counts for
4 papers · 1 filter
Program certification with computational effects
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici +1
Dynamic evaluation is a paradigm in computer algebra which was introduced for computing with algebraic numbers. In linear algebra, for instance, dynamic evaluation can be used to a…
AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)
Anadrea Corradini, Dominique Duval, Rachid Echahed +2
The several algebraic approaches to graph transformation proposed in the literature all ensure that if an item is preserved by a rule, so are its connections with the context graph…
Breaking a monad-comonad symmetry between computational effects
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Computational effects may often be interpreted in the Kleisli category of a monad or in the coKleisli category of a comonad. The duality between monads and comonads corresponds, in…
Transformation of Attributed Structures with Cloning (Long Version)
Dominique Duval, Rachid Echahed, Frederic Prost +1
Copying, or cloning, is a basic operation used in the specification of many applications in computer science. However, when dealing with complex structures, like graphs, cloning is…