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:
“Imagination is an almost divine faculty which, without recourse to any philosophical method, immediately perceives everything: the secret and intimate connections between things, correspondences and analogies.”
—Charles Baudelaire (1821–1867)
“In my writing I am acting as a map maker, an explorer of psychic areas ... a cosmonaut of inner space, and I see no point in exploring areas that have already been thoroughly surveyed.”
—William Burroughs (b. 1914)
“The Buddha, the Godhead, resides quite as comfortably in the circuits of a digital computer or the gears of a cycle transmission as he does at the top of a mountain or in the petals of a flower.”
—Robert M. Pirsig (b. 1928)
“Consider the China pride and stagnant self-complacency of mankind. This generation inclines a little to congratulate itself on being the last of an illustrious line; and in Boston and London and Paris and Rome, thinking of its long descent, it speaks of its progress in art and science and literature with satisfaction.... It is the good Adam contemplating his own virtue.”
—Henry David Thoreau (1817–1862)