|
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. (See semantics of
programming languages.)
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
|