Encyclopedia > Denotational semantics

  Article Content

Denotational semantics

In computer science, denotational semantics is one of the approaches to formalize the meaning of computer programs, which is semantics using knowledge of mathematics. Other approaches include axiomatic semantics[?] and operational semantics[?].

The field was originally developed by Christopher Strachey[?] and Dana Scott.

Denotational semantics generally makes use of the techniques of functional programming to describe computer languages, architectures and programs. The mathematics of denotational semantics is usually now formulated within domain theory[?].

Related fields:

References

The classic work on the subject is:

Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977.

External links



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
1422

... 14th century - 15th century - 16th century Decades: 1370s 1380s 1390s 1400s 1410s - 1420s - 1430s 1440s 1450s 1460s 1470s Years: 1417 1418 1419 1420 ...