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 quickness with which all the “stuff” from childhood can reduce adult siblings to kids again underscores the strong and complex connections between brothers and sisters.... It doesn’t seem to matter how much time has elapsed or how far we’ve traveled. Our brothers and sisters bring us face to face with our former selves and remind us how intricately bound up we are in each other’s lives.”
—Jane Mersky Leder (20th century)
“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 archetype of all humans, their ideal image, is the computer, once it has liberated itself from its creator, man. The computer is the essence of the human being. In the computer, man reaches his completion.”
—Friedrich Dürrenmatt (1921–1990)
“If science ever gets to the bottom of Voodoo in Haiti and Africa, it will be found that some important medical secrets, still unknown to medical science, give it its power, rather than the gestures of ceremony.”
—Zora Neale Hurston (1891–1960)