mathematical semantics
English
Noun
mathematical semantics (uncountable)
- (computer science) A study of formal semantics of computer languages, such as denotational semantics.
Quotations
- For usage examples of this term, see the citations page.
Read in another language
This page is available in 1 language