Historical Development
Denotational semantics originated in the work of Christopher Strachey and Dana Scott in the late 1960s. As originally developed by Strachey and Scott, denotational semantics provided the denotation (meaning) of a computer program as a function that mapped input into output. To give denotations to recursively defined programs, Scott proposed working with continuous functions between domains, specifically complete partial orders. As described below, work has continued in investigating appropriate denotational semantics for aspects of programming languages such as sequentiality, concurrency, non-determinism and local state.
Denotational semantics have been developed for modern programming languages that use capabilities like concurrency and exceptions, e.g., Concurrent ML, CSP, and Haskell. The semantics of these languages is compositional in that the denotation of a phrase depends on the denotations of its subphrases. For example, the meaning of the applicative expression f(E1,E2) is defined in terms of semantics of its subphrases f, E1 and E2. In a modern programming language, E1 and E2 can be evaluated concurrently and the execution of one of them might affect the other by interacting through shared objects causing their denotations to be defined in terms of each other. Also, E1 or E2 might throw an exception which could terminate the execution of the other one. The sections below describe special cases of the semantics of these modern programming languages.
Read more about this topic: Denotational Semantics
Famous quotes containing the words historical and/or development:
“Some of us still get all weepy when we think about the Gaia Hypothesis, the idea that earth is a big furry goddess-creature who resembles everybody’s mom in that she knows what’s best for us. But if you look at the historical record—Krakatoa, Mt. Vesuvius, Hurricane Charley, poison ivy, and so forth down the ages—you have to ask yourself: Whose side is she on, anyway?”
—Barbara Ehrenreich (b. 1941)
“And then ... he flung open the door of my compartment, and ushered in “Ma young and lovely lady!” I muttered to myself with some bitterness. “And this is, of course, the opening scene of Vol. I. She is the Heroine. And I am one of those subordinate characters that only turn up when needed for the development of her destiny, and whose final appearance is outside the church, waiting to greet the Happy Pair!””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)