English Dictionary

formal semantics

名詞

不可算名詞

The study of the semantics, or interpretations, of formal languages. / (computer science) the rigorous mathematical study of the meaning of programming languages

日本語の意味

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

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

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

意味（1）

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

意味（2）

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