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:
“I have no connections here; only gusty collisions,
rootless seedlings forced into bloom, that collapse.
...
I am the Visiting Poet: a real unicorn,
a wind-up plush dodo, a wax museum of the Movement.
People want to push the buttons and see me glow.”
—Marge Piercy (b. 1936)
“Adults understandably assume that the level of verbal proficiency a five-year-old displays represents his level of proficiency in all areas of functioning—if he talks like an adult, he must think and feel like one. However, five-year-olds,... belie the promise of adult-like behavior with their child-like, impulsive actions.”
—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)
“There does not exist a category of science to which one can give the name applied science. There are science and the applications of science, bound together as the fruit of the tree which bears it.”
—Louis Pasteur (1822–1895)