Technical Report 333-1992

Title

A Concept for the Representation of Data and Algorithms

Authors

Dirk Möller and Rudolf Müller

Publication

American Mathematical Society, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 15, Computational Support in Discrete Mathematics - DIMACS Workshop 12-14, 1992, 1994, pp. 391-399

Source

Download as [ps.gz]

Classification

not available

Keywords

not available

Abstract

We describe a tool to generate m CAbstract: ++-classes which serve as a normed general framework for the representation of data and algorithms in a software library. The main idea is to represent in a generated class besides structural aspects of a mathematical object also conditions defining feasible instances, and to obtain by that a one to one correspondence between the mathematical objects and their implementation. Together with libraries of abstract data types, the system provides a comfortable environment for the development and maintenance of mathematical software.