動態語義

動態語義（dynamic semantics）是2018年公布的計算機科學技術名詞。程式運行時的語義，表示邏輯上的意義，出自《計算機科學技術名詞 》第三版。

基本介紹

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

定義

一類程式形式語義。描述程式執行過程中狀態信息的改變，例如用動態邏輯描述的語義。

出處

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