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:
“Our business being to colonize the country, there was only one way to do it—by spreading over it all the associations and connections of family life.”
—Henry Parkes (1815–1896)
“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)
“What, then, is the basic difference between today’s computer and an intelligent being? It is that the computer can be made to see but not to perceive. What matters here is not that the computer is without consciousness but that thus far it is incapable of the spontaneous grasp of pattern—a capacity essential to perception and intelligence.”
—Rudolf Arnheim (b. 1904)
“Political liberty, the peace of a nation, and science itself are gifts for which Fate demands a heavy tax in blood!”
—Honoré De Balzac (1799–1850)