Der Compiler ACOMP

ACOMP kompiliert folgende Kategorien von Ausdrücken in Code für die virtuelle Maschine AVIM:

• Konstanten
  • Zahlen
  • Zeichenketten
  • #t or #f
• Symbole
• Zitationen (`quote'-Ausdrücke)
• Definitionen (`define'-Ausdrücke)
• Zuordnungsanweisungen (`set!'-Ausdrücke)
• Folgen von Ausdrücken (`begin'-Ausdrücke)
• Erzeugung von Namensräumen (`let'-Ausdrücke)
• einfache Alternativstrukturen (`if'-Ausdrücke)
• Lambda-Abstraktionen
• Makros Die folgenden Makros sind bereits in den Compiler eingebaut. Sie können nicht direkt in Maschinenbefehle übersetzt werden. Der Compiler muss sie zuerst in Basiskonstrukte expandieren.

  Benutzer können ihre eigenen Makros mit Hilfe der `special form' `defmacro' schreiben.

  • komplex-alternative Strukturen
    • allgemeine Auswahlstruktur (`cond'-Ausdrücke)
    • spezielle Auswahlstruktur (`case'-Ausdrücke)
  • Erzeugung eines Namensraumes mit lokalen rekursiven Prozeduren (`letrec'-Ausdrücke)
  • logische Summe (OR) (`or'-Ausdrücke)
  • logisches Produkt (AND) (`and'-Ausdrücke)
  • Wiederholungsstruktur
    • DOWHILE Struktur (`while'-Ausdrücke)
    • DO Konstrukt (`do'-Ausdrücke)
• Synthesen (Applikationen)
  • allgemeine Funktionsaufrufe
  • call with current continuation
  • spezieller Funktionsaufruf (`apply'-Ausdrücke)

Abbildung: Von ACOMP kompilierbare Ausdrücke

Abbildung: Auflösung von Makros in ACOMP

Impressum und Datenschutz