Motivation

• inferieren = ableiten
• Inferenzsystem I, Objekt O,

  Eigenschaft I $\vdash$ O (in I gibt es eine Ableitung für O)

• damit ist I eine Spezifikation einer Menge von Objekten
• man ignoriert die Implementierung (= das Finden von Ableitungen)
• Anwendungen im Compilerbau:

  Auswertung von Programmen, Typisierung von Programmen