formal semantics
English
editNoun
editformal semantics (uncountable)
- The study of the semantics, or interpretations, of formal languages.
- (computer science) the rigorous mathematical study of the meaning of programming languages
formal semantics (uncountable)