2005/10/20 by Jean‐Guillaume Dumas, Jean-Guillaume Dumas, Dumas, Jean-Guillaume +2
Computer Science · #D.1.5 #D.2.12 #D.3.3 #Embedded Systems Design Techniques #FOS: Computer and information sciences #G.4 #I.6.5 #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Symbolic Computation (cs.SC) #cs.SC
paper · pdf · doi:10.48550/arxiv.cs/0510057
Published in Langages et Modèles à Objets, Nîmes : France (2006)
arxiv created 2005/10/20 · openalex publication_date 2005/10/20 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.