The study of the semantics, or interpretations, of formal languages. / (computer science) the rigorous mathematical study of the meaning of programming languages
formal semantics
会議は、形式意味論を専門とする基調講演者を招待した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
