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)
“If a walker is indeed an individualist there is nowhere he can’t go at dawn and not many places he can’t go at noon. But just as it demeans life to live alongside a great river you can no longer swim in or drink from, to be crowded into safer areas and hours takes much of the gloss off walking—one sport you shouldn’t have to reserve a time and a court for.”
—Edward Hoagland (b. 1932)
“The computer takes up where psychoanalysis left off. It takes the ideas of a decentered self and makes it more concrete by modeling mind as a multiprocessing machine.”
—Sherry Turkle (b. 1948)
“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)