Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:denotationale_semantik

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:denotationale_semantik [2014/09/24 16:43] (aktuell)
Zeile 1: Zeile 1:
 +====== 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)