"Practical Denotational Semantics" von Lloyd Allison ist ein Buch, das sich mit der Theorie und Anwendung der denotationalen Semantik in der Informatik beschäftigt. Die denotationale Semantik ist eine Methode zur formalen Beschreibung...