formal semantics
The study of the semantics, or interpretations, of formal languagesThe study of the semantics, or interpretations, of formal languages.
Meaning
2 senses(uncountable)The study of the semantics, or interpretations, of formal languages.
(uncountable)The rigorous mathematical study of the meaning of programming languages
More definitions
- the branch of semantics that studies the logical aspects of meaning
Translations
2 languagesLessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable