0. Einführung
Sprachimplementierung mit Werkzeugen (100)
- Beispiele für Projektthemen (101)
- Sprachen in der Software-Entwicklung (101a)
- Sprachen in der Software-Entwicklung (101b)
- Sprachen in der Software-Entwicklung (101c)
- Praktikumsplan (102)
- Compilation Tasks for Source-to-Source Translation (103)
- Eli provides solution methods (104)
- Integrated tool set Eli (105)
- Examples for Specification Fragments (106)
- Spezifikationsfragmente zusammenfassen und dokumentieren (107)
- Abhängige Berechnungen (301)
- Vor- und Nachbedingungen von Berechnungen (302)
- Abhängigkeitsmuster: CHAIN (303)
- Abhängigkeitsmuster: INCLUDING (304)
- Abhängigkeitsmuster: CONSTITUENTS für Zustände (305)
- Abhängigkeitsmuster: CONSTITUENTS für Werte (306)
- Berechnungen zu Symbolen (401)
- Berechnungsmodule mit CLASS-Symbolen (402)
- Bibliotheksmodule allgemein (403)
- ADT Listen (404)
- Namensanalyse (Bezeichneridentifikation) (501)
- Umgebungsmodul (502)
- Umgebungsoperationen im Baum (503)
- Module zur Namensanalyse (504)
- PDL: Generator für Definitionsmodule (505)
- Richtlinien zum Entwurf von Berechnungen im Baum (506)
- A: Eigenschaften von Programmkonstrukten (507)
- B: Eigenschaften von Programmobjekten (508)
- Minisprache Core (601)
- Core: Struktur, Namensanalyse (602)
- Aufgaben und Begriffe der Typanalyse (603)
- Typrepräsentation des Moduls Typing (604)
- Typisierte Objekte (605)
- Typnotationen (606)
- Überladene Operatoren (607)
- Zieltexte erzeugen (701)
- PTG-Muster: Wichtige Techniken (702)
- Zieltext im Strukturbaum zusammensetzen (703)
- Konsistente Umbenennung von Bezeichnern (704)
