Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:denotationale_semantik

denotationale Semantik

engl.: denotational semantics

Bedeutung

Eine Semantik, die jeder Funktionsdeklaration explizit eine partielle Funktion als Bedeutung zuordnet, d.h. eine Abbildung von Funktionsdeklarationen auf partielle Funktionen definiert, nennen wir denotationell.

glossar/denotationale_semantik.txt · Zuletzt geändert: 2014/09/24 16:43 (Externe Bearbeitung)