WWW-Dokumentation zum MAX System ist noch im Aufbau
Spezifizieren und Generieren mit dem MAX System:
Das MAX System ist ein Werkzeug zur Spezifikation und Implementierung
von Programmiersprachen und sprachspezifischen Softwarekomponenten.
Die statischen Aspekte der Programmiersprachen werden mit einer
Attributierungstechnik beschrieben, die aus der Integration von
Attributgrammatiken und funktionalen Sprachen entwickelt wurde. Dynamische
Aspekte werden mit Transitionsregeln formuliert. Das MAX System stellt
für beide Beschreibungstechniken eine semantisch fundierte
Spezifikationssprache zur Verfügung. Aus einer vollständigen
Sprachspezifikation generiert das MAX System einen Interpreter
(vgl. Developing Efficient Interpreters
Based on Formal Language Specifications).
WWW-Dokumentation zum MAX System ist noch im Aufbau
Homepage Arnd Poetzsch-Heffter
Arnd Poetzsch-Heffter , 19.10.95