Motivation

• inferieren = mathend000# ableiten
• Inferenzsystem I mathend000#, Objekt O mathend000#,

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

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

  Auswertung von Programmen, Typisierung von Programmen