formal semantics

Noun

uncountable

Japanese Meaning

形式言語やプログラミング言語など、形式システムの意味や解釈に関する厳密な数学的研究領域。

The conference invited a keynote speaker who specializes in formal semantics.

会議は、形式意味論を専門とする基調講演者を招待した。

Sense（1）

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

Sense（2）

(computer science) the rigorous mathematical study of the meaning of programming languages