- denotational semantics (English)
- A technique of describing the "meaning" of programs as mathematical functions, allowing people to prove theorems and reason about programs as mathematical entities.
Translate denotational semantics
Learn how to say "denotational semantics" in other languages:
Browse our dictionary
Find other interesting words by browsing through our English dictionary.