# 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*)

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