Towards a diagrammatic modeling of the LinBox C++ linear algebra library - Archive ouverte HAL Access content directly
Conference Papers Year : 2006

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

Abstract

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.
Fichier principal
Vignette du fichier
DML_LinBox.pdf (217.38 Ko) Télécharger le fichier
Loading...

Dates and versions

hal-00012346 , version 1 (20-10-2005)
hal-00012346 , version 2 (20-10-2005)

Identifiers

Cite

Jean-Guillaume Dumas, Dominique Duval. Towards a diagrammatic modeling of the LinBox C++ linear algebra library. Langages et Modèles à Objets, Mar 2006, Nîmes, France. pp.117-132. ⟨hal-00012346v2⟩

Collections

UGA CNRS LMC-IMAG
111 View
102 Download

Altmetric

Share

Gmail Facebook X LinkedIn More