Towards a diagrammatic modeling of the LinBox C++ linear algebra library

International audience 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-oriented structures can be described with this tool and have many examples in C++, ranging from virtual...

Full description

Bibliographic Details
Main Authors: Dumas, Jean-Guillaume, Duval, Dominique
Other Authors: Laboratoire de Modélisation et Calcul (LMC - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Projet IMAG InCa, Roger Rousseau, Christelle Urtado, Sylvain Vauttier
Format: Conference Object
Language:English
Published: HAL CCSD 2006
Subjects:
Diagrammatic specifications
C++ Modeling
Object-oriented modeling
Diagrammatic Modeling
categories
linear algebra modeling
D.2.12;I.6.5;D.1.5;D.3.3;G.4
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
DML
Online Access:https://hal.science/hal-00012346
https://hal.science/hal-00012346v2/document
https://hal.science/hal-00012346v2/file/DML_LinBox.pdf
Description
Summary:International audience 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-oriented structures can be described with this tool and have many examples in C++, ranging from virtual inheritance and polymorphism to template genericity. With this powerful tool, we propose a quite simple description of the C++ LinBox library. This library has been designed for efficiency and genericity and therefore makes heavy usage of complex template and polymorphic mecanism. Be reverse engineering, we are able to describe in a simple manner the complex structure of archetypes in LinBox.

Similar Items