formal semantics
English edit
Noun edit
formal 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)