(computer science) An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.
denotational semantics
プログラミング言語のゼミでは、式の正確な意味を数学的な対象として割り当てて形式化する指示意味論を用いて、それらの意味をモデル化しました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
