Grundlagen

Typ = statische Semantik

(Information über mögliches Programm-Verhalten, erhalten ohne Programm-Ausführung)

formale Beschreibung:

• P: Menge der Ausdrücke (Programme)
• T: Menge der Typen
• Aussagen p : : t (für p∈P, t∈T)
  • prüfen oder
  • herleiten (inferieren)