gelernt:

Semantische Ana bringt K N O T

AG besteht aus GARB

Syn und Inh Attribute Defs

  • DDP(p) = direkte Attributabhängigkeiten
  • lokal azyklisch = wenn alle DDP(p) azyklisch (kann aber noch globale Abhängigkeiten geben)

Namensanalyse wirft umg-Attribut hin und her - decls am Anfang - decl in anderen decls, zB x = y + z - decls, expr durchmischt

Typanalyse hat vor und nach Attribute

Zwischensprachen

Vorteile: plattformunabhängig, optimierbarer

  • Stackcode einfacher erzeugt, für Interpreter
  • Registercode schwerer erzeugt, für Optimierung und Codeerzeugung

.. class:: spoiler

Java-Bytecode

Programmstruktur

Verbandstheorie

Halbordnungen

total, Supremum, Infimum

Verbände

Fixpunkte

Galois-Verbindungen