denotational semantics

In computer science, denotational semantics is one of the approaches to formalize the semantics of computer programs. Other approaches include axiomatic semantics and operational semantics. (See semantics of programming languages.) Denotational semantics generally interprets the meaning of a computer program as a function and types as domains in the sense of domain theory. It can be seen as a branch of model theory, and has many connections with type theory and category theory. Within computer science, there are connections with abstract interpretation, program verification and functional programming, see for instance monads in functional programming. A key concept in denotational semantics is the principle of compositionality: the meaning of an expression (or indeed a whole program) is composed of the meaning of its constituent parts. The field was originally developed by Christopher Strachey and Dana Scott in the 1960s. Montague grammar is a form of denotational semantics for idealized fragments of English.

References

A classic (but dated) textbook on the subject is: Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977.

External links

http://www.csse.monash.edu.au/~lloyd/tilde/Semantics/
http://www.risc.uni-linz.ac.at/people/schreine/courses/densem/densem.html
http://www.cis.ksu.edu/~schmidt/text/densem.html
http://www.honors.montana.edu/~jjc/presentation/contents.xhtml

<< Previous

Word Browser

Next >>

graian alps
newton's laws of motion
tim brooke taylor
great artesian basin
anders hejlsberg
bushranger
list of themed timelines
high energy astronomy
creosote bush
compton effect
consumer protection

confocal laser scanning microscopy
gamma ray astronomy
hypersonic
sr 71 blackbird
utah phillips
kalamazoo college
skunk works
titus
autobahn
north brabant
road train

asia (band)
oresund
francisco pizarro
manchukuo
warp drive
james dewar
grand prix
canning stock route
coat of arms
ernst mach
caracas

gedeon burkhard
nurse
niagara county, new york
oneida county, new york
onondaga county, new york
bradford (disambiguation)
registered nurse
fraternities and sororities
blood type
seattle wireless
united federation of planets