Denotationale Semantik

Denotationale Semantik eines Unterprogrammes (in einer deklarativen Programmiersprache) ist eine Funktion.

• Semantik von Literalen:

  bezeichnen (primitive) Objekte selbst

• Semantik primitiver Operationen:
  • (Zahlen-)Werte der Argumente bestimmen,
  • dann Operation anwenden
• Semantik von Lambda-Ausdrücken (Abstraktionen, Applikationen)?