Beta
進入詞條
清除歷史記錄
關閉
反饋
分享
複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/動態語義/53339267
動態語義
鎖定
動態語義(dynamic semantics)是2018年公佈的計算機科學技術名詞。程序運行時的語義,表示邏輯上的意義,出自《計算機科學技術名詞 》第三版。
中文名
動態語義
外文名
dynamic semantics
所屬學科
計算機科學技術
公佈時間
2018年
目錄
1
定義
2
出處
動態語義
定義
一類程序形式語義。描述程序執行過程中狀態信息的改變,例如用動態邏輯描述的語義。
動態語義
出處
《計算機科學技術名詞 》第三版。
[1]
參考資料
1.
動態語義
.術語在線
[引用日期2020-08-22]
圖集
動態語義的概述圖(1張)
詞條統計
瀏覽次數:
次
編輯次數:5次
歷史版本
最近更新:
Mxxyzz
(2022-06-23)
1
定義
2
出處
Beta
進入詞條
清除歷史記錄
關閉
反饋
登錄