Denotational Semantics - Connections To Other Areas of Computer Science

Connections To Other Areas of Computer Science

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 type theory and category theory. Within computer science, there are connections with abstract interpretation, program verification, and model checking.

Monads were introduced to denotational semantics as a way of organising semantics, and these ideas have had a big impact in functional programming (see monads in functional programming).

Read more about this topic:  Denotational Semantics

Famous quotes containing the words connections, areas, computer and/or science:

    The quickness with which all the “stuff” from childhood can reduce adult siblings to kids again underscores the strong and complex connections between brothers and sisters.... It doesn’t seem to matter how much time has elapsed or how far we’ve traveled. Our brothers and sisters bring us face to face with our former selves and remind us how intricately bound up we are in each other’s lives.
    Jane Mersky Leder (20th century)

    Helping children at a level of genuine intellectual inquiry takes imagination on the part of the adult. Even more, it takes the courage to become a resource in unfamiliar areas of knowledge and in ones for which one has no taste. But parents, no less than teachers, must respect a child’s mind and not exploit it for their own vanity or ambition, or to soothe their own anxiety.
    Dorothy H. Cohen (20th century)

    The Buddha, the Godhead, resides quite as comfortably in the circuits of a digital computer or the gears of a cycle transmission as he does at the top of a mountain or in the petals of a flower.
    Robert M. Pirsig (b. 1928)

    It is clear that everybody interested in science must be interested in world 3 objects. A physical scientist, to start with, may be interested mainly in world 1 objects—say crystals and X-rays. But very soon he must realize how much depends on our interpretation of the facts, that is, on our theories, and so on world 3 objects. Similarly, a historian of science, or a philosopher interested in science must be largely a student of world 3 objects.
    Karl Popper (1902–1994)