Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen

Zusammenfassung.

Die Programmierung von Algorithmenschemata durch die Parameterisierung von Programmteilen ist eine Möglichkeit der Wiederverwendung von Software. Dieser Ansatz wird insbesondere von der funktionalen Programmiersprache ML durch eine sehr ausgereifte Modulsprache mit Signaturen, Strukturen und strukturabbildenden Funktoren unterstützt. In diesem Artikel demonstrieren wir, wie man auf diese Weise Parameterisierung und Wiederverwendung realisieren kann. Dabei wird eine Anwendung, nämlich schematischer Graphdurchlauf mit Vererbung und Synthese als Verallgemeinerung des vom Übersetzerbau her bekannten Prinzips, im Detail vorgestellt; einige weitere Anwendungsbereiche werden skizziert.

Abstract.

One possibility for reusability of software is to parameterize parts of a program leading to an algorithm scheme. The module language of the functional programming language ML with the concepts of signatures, structures, and functors as mappings on structures is highly qualified for this approach. In this article, we demonstrate how signatures, structures, and functors can be used to realize reusable parameterized software. An example is treated in detail, viz. a generalization of the inherit/synthesize technique known from compiler construction. Further applications of the approach are sketched.