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)
“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)
“The puritanical potentialities of science have never been forecast. If it evolves a body of organized rites, and is established as a religion, hierarchically organized, things more than anything else will be done in the name of “decency.” The coarse fumes of tobacco and liquors, the consequent tainting of the breath and staining of white fingers and teeth, which is so offensive to many women, will be the first things attended to.”
—Wyndham Lewis (1882–1957)