Computer Science – Symbolic Computation
Scientific paper
2005-10-20
Computer Science
Symbolic Computation
Published in Langages et Mod\`eles \`a Objets, N\^imes : France (2006)
Scientific paper
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.
Dumas Jean-Guillaume
Duval Dominique
No associations
LandOfFree
Towards a diagrammatic modeling of the LinBox C++ linear algebra library does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Towards a diagrammatic modeling of the LinBox C++ linear algebra library, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards a diagrammatic modeling of the LinBox C++ linear algebra library will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-475538