formal semantics (English, noun)
expansion: formal semantics (uncountable)
Senses:
glosses: The study of the semantics, or interpretations, of formal languages.
tags: uncountable
topics: computer
computing
engineering
mathematics
natural-sciences
physical-sciences
science
sciences
glosses: the rigorous mathematical study of the meaning of programming languages
tags: uncountable
Forms: