Denotationale Semantik von Programmiersprachen - Das aktuelle Schlagwort.