Denotational semantics originated in the work of Christopher Strachey and Dana Scott published in the early 1970s. As originally developed by Strachey and Scott, denotational … 展开

An important aspect of denotational semantics of programming languages is compositionality, by which the denotation of a program is constructed from denotations of its parts. … 展开

Some work in denotational semantics has interpreted types as domains in the sense of domain theory, which can be seen as a branch of model theory, leading to connections with 展开

• Denotational Semantics. Overview of book by Lloyd Allison
• Schreiner, Wolfgang (1995). "Structure of Programming Languages I: Denotational Semantics". Course notes. 展开

It is often considered important to connect denotational semantics with operational semantics. This is especially important when the denotational semantics is rather mathematical and abstract, and the operational semantics is more concrete or closer to the … 展开

According to Dana Scott (1980):
It is not necessary for the semantics to determine an implementation, but it should provide criteria for showing that an implementation is correct. 展开

Textbooks
• Milne, R.E.; Strachey, C. (1976). A theory of programming language semantics. 展开