RRLab : Rewrite Rule Labor

Abstract

RRlab (Rewrite Rule Laboratory) is a software tool providing a complete environment for creating, editing and for processing specifications of abstract data types expressed in an initial algebra approach. RRlab reads the specifications and creates an appropriate rewrite rule system which is finitely and uniquely terminating. This paper describes the design of the RRlab. First the initial algebra approach is introduced, especially emphasizing term rewriting systems. On this basis we build a hierarchy of dialogs, establishing both their semantic purpose and syntactic of RRlab in HDM-SPECIAL and a description of the implementation in INTERLISP is available for a nominal charge.

RRLab (Rewrite Rule Labor) ist ein Softwarewerkzeug mit einer vollständigen Umgebung zur Erzeugung, Editierung und Verarbeitung von abstrakten Datentypen in initialer Algebrasemantik. RRLab erzeugt aus der Gleichungsmenge einer Spezifikation ein zugehöriges Rewrite Rule System, welches endlich und eindeutig terminiert. Diese Arbeit beschreibt den Entwurf des RRLab’s. Zunächst geben wir eine Einführung in initiale Algebrasemantik mit Schwerpunkt Termersetzungssysteme. Auf dieser Grundlage werden die verschiedenen Dialogebenen entworfen und syntaktisch sowie semantisch festgelegt. Eine vollständige Dokumentation mit einer Spezifikation des RRLab in HDM-SPECIAL und einer Beschreibung der Implementierung in Interlisp ist gegen Gebühr erhältlich.