Grundlagen

Typ = mathend000# statische Semantik

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

formale Beschreibung:

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