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:
“The connections between and among women are the most feared, the most problematic, and the most potentially transforming force on the planet.”
—Adrienne Rich (b. 1929)
“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)
“Family life is not a computer program that runs on its own; it needs continual input from everyone.”
—Neil Kurshan (20th century)
“What would life be without art? Science prolongs life. To consist of what—eating, drinking, and sleeping? What is the good of living longer if it is only a matter of satisfying the requirements that sustain life? All this is nothing without the charm of art.”
—Sarah Bernhardt (1845–1923)