9 citations · 65 across the 33 of their papers we have counts for
Showing 2005Show all
2 papers · 1 filter
cs.SC2005
Towards a diagrammatic modeling of the LinBox C++ linear algebra library
Jean-Guillaume Dumas, Dominique Duval
We propose a new diagrammatic modeling language, DML. The paradigm used is that of the category theory and in particular of the pushout tool. We show that most of the object-orient…
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…