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:
“... feminism is a political term and it must be recognized as such: it is political in women’s terms. What are these terms? Essentially it means making connections: between personal power and economic power, between domestic oppression and labor exploitation, between plants and chemicals, feelings and theories; it means making connections between our inside worlds and the outside world.”
—Anica Vesel Mander, U.S. author and feminist, and Anne Kent Rush (b. 1945)
“The point is, that the function of the novel seems to be changing; it has become an outpost of journalism; we read novels for information about areas of life we don’t know—Nigeria, South Africa, the American army, a coal-mining village, coteries in Chelsea, etc. We read to find out what is going on. One novel in five hundred or a thousand has the quality a novel should have to make it a novel—the quality of philosophy.”
—Doris Lessing (b. 1919)
“The computer takes up where psychoanalysis left off. It takes the ideas of a decentered self and makes it more concrete by modeling mind as a multiprocessing machine.”
—Sherry Turkle (b. 1948)
“But don’t despise error. When touched by genius, when led by chance, the most superior truth can come into being from even the most foolish error. The important inventions which have been brought about in every realm of science from false hypotheses number in the hundreds, indeed in the thousands.”
—Stefan Zweig (18811942)