Last Updated:2025/11/23
The study of the semantics, or interpretations, of formal languages. / (computer science) the rigorous mathematical study of the meaning of programming languages
音声機能が動作しない場合はこちらをご確認ください
See correct answer
formal semantics
Edit Histories(0)
Source Word
formal semantics
Noun
uncountable
Japanese Meaning
形式言語やプログラミング言語など、形式システムの意味や解釈に関する厳密な数学的研究領域。
Sense(1)