動作語義

動作語義（action semantics）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。

基本介紹

• 中文名：動作語義
• 外文名：action semantics
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

指稱語義、操作語義和代數語義的混合體，其動作由一個一階語義項描述，可被執行或生成數據以及修改環境等，動作的表示法由操作語義來定義。

出處

《計算機科學技術名詞 》第三版。