formal semantics

noun — 2 senses

formal semantics

noun

1

The study of the semantics, or interpretations, of formal languages.

2

Computer, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Science, Sciences the rigorous mathematical study of the meaning of programming languages

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.