formal semantics en · NOUN
Meanings
- (uncountable) The study of the semantics, or interpretations, of formal languages.
- (uncountable) the rigorous mathematical study of the meaning of programming languages
Translations (2)
fr sémantique formelle (study of the semantics of formal languages) · pl semantyka formalna (study of the semantics of formal languages)