Enzyklopädie > D > Denotationale Semantik
Denotationale Semantik
Die Denotationale Semantik der Informatik (Funktionensemantik) beschreibt die Wirkungsweise eines Programms als partielle Abbildung eines Speicherzustandes in einen anderen. Die Regeln des Kalküls legen (induktiv) fest, wie die Funktion zu einem Programm gebildet wird.
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)