← Back to search

Meaning of formal semantics | Babel Free

Noun CEFR B2

Definitions

The study of the semantics, or interpretations, of formal languages.
uncountable
the rigorous mathematical study of the meaning of programming languages
uncountable

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

formal sociology formal sum formal swap formal system formal validity formal wear