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)
“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 analogy between the mind and a computer fails for many reasons. The brain is constructed by principles that assure diversity and degeneracy. Unlike a computer, it has no replicative memory. It is historical and value driven. It forms categories by internal criteria and by constraints acting at many scales, not by means of a syntactically constructed program. The world with which the brain interacts is not unequivocally made up of classical categories.”
—Gerald M. Edelman (b. 1928)
“Already nature is serving all those uses which science slowly derives on a much higher and grander scale to him that will be served by her. When the sunshine falls on the path of the poet, he enjoys all those pure benefits and pleasures which the arts slowly and partially realize from age to age. The winds which fan his cheek waft him the sum of that profit and happiness which their lagging inventions supply.”
—Henry David Thoreau (1817–1862)