Title: Denotational semantics
Subjects: Programming languages (Electronic computers), Semantics, Denotational semantics