formal semantics
Jump to navigation
Jump to search
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