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: 24.09.2014 16:41 (Externe Bearbeitung)
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki