複製鏈接
請複製以下鏈接發送給好友

動態語義

鎖定
動態語義(dynamic semantics)是2018年公佈的計算機科學技術名詞。程序運行時的語義,表示邏輯上的意義,出自《計算機科學技術名詞 》第三版。
中文名
動態語義
外文名
dynamic semantics
所屬學科
計算機科學技術
公佈時間
2018年

目錄

動態語義定義

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

動態語義出處

《計算機科學技術名詞 》第三版。 [1] 
參考資料