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:
“A foreign minister, I will maintain it, can never be a good man of business if he is not an agreeable man of pleasure too. Half his business is done by the help of his pleasures: his views are carried on, and perhaps best, and most unsuspectedly, at balls, suppers, assemblies, and parties of pleasure; by intrigues with women, and connections insensibly formed with men, at those unguarded hours of amusement.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“Helping children at a level of genuine intellectual inquiry takes imagination on the part of the adult. Even more, it takes the courage to become a resource in unfamiliar areas of knowledge and in ones for which one has no taste. But parents, no less than teachers, must respect a child’s mind and not exploit it for their own vanity or ambition, or to soothe their own anxiety.”
—Dorothy H. Cohen (20th century)
“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)
“Science, unguided by a higher abstract principle, freely hands over its secrets to a vastly developed and commercially inspired technology, and the latter, even less restrained by a supreme culture saving principle, with the means of science creates all the instruments of power demanded from it by the organization of Might.”
—Johan Huizinga (1872–1945)