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 (18211867)
“The discovery of the North Pole is one of those realities which could not be avoided. It is the wages which human perseverance pays itself when it thinks that something is taking too long. The world needed a discoverer of the North Pole, and in all areas of social activity, merit was less important here than opportunity.”
—Karl Kraus (18741936)
“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 (19211990)
“Art is the beautiful way of doing things. Science is the effective way of doing things. Business is the economic way of doing things.”
—Elbert Hubbard (18561915)