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)
“... two great areas of deafness existed in the South: White Southerners had no ears to hear that which threatened their Dream. And colored Southerners had none to hear that which could reduce their anger.”
—Sarah Patton Boyle, U.S. civil rights activist and author. The Desegregated Heart, part 1, ch. 16 (1962)
“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)
“Romance should never begin with sentiment. It should begin with science and end with a settlement.”
—Oscar Wilde (1854–1900)