朝向对 LinBox C++ 线性代数库的图式建模
摘要：我们提出了一种新的图示建模语言，DML。所采用的范例是类别论，特别是推出工具。我们展示了大多数面向对象的结构可以用这个工具来描述，并且有许多C++的示例，包括虚继承和多态性到模板泛型性。借助这个强大的工具，我们提出了对C++ LinBox库的简单描述。这个库被设计用于高效性和泛型性，因此大量使用了复杂的模板和多态机制。通过逆向工程，我们能够简单地描述LinBox中原型的复杂结构。
作者：Jean-Guillaume Dumas (LMC - IMAG), Dominique Duval (LMC - IMAG)
论文ID：cs/0510057
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2008-09-04