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 conclusion suggested by these arguments might be called the paradox of theorizing. It asserts that if the terms and the general principles of a scientific theory serve their purpose, i. e., if they establish the definite connections among observable phenomena, then they can be dispensed with since any chain of laws and interpretive statements establishing such a connection should then be replaceable by a law which directly links observational antecedents to observational consequents.”
—C.G. (Carl Gustav)
“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 (1874–1936)
“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)
“You are all fundamentalists with a top dressing of science. That is why you are the stupidest of conservatives and reactionists in politics and the most bigoted of obstructionists in science itself. When it comes to getting a move on you are all of the same opinion: stop it, flog it, hang it, dynamite it, stamp it out.”
—George Bernard Shaw (1856–1950)