Program Language Design
Denotational Semantics is a method for defining the semantics of programming languages.
It is of interest to the language designer, compiler writer and programmer.
It should be concise, unambiguous, open to mathematical analysis, mechanically checkable, executable and readable … depending on your point of view.
Denotational semantics is based on well understood mathematical foundations and uses a well defined notation/ meta-language…