複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/靜態語義/56004895
複製
複製成功

靜態語義

鎖定
靜態語義（static semantics）是2018年經全國科學技術名詞審定委員會審定發佈的計算機科學技術名詞。 [1] 
中文名
靜態語義
外文名
static semantics
所屬學科
計算機科學技術
發佈時間
2018年

目錄

  1. 1 定義
  2. 2 出處

靜態語義定義

一類程序形式語義。涉及到程序形式合法性的檢查，與編譯時的各種動作對應，它與程序運行時所需的輸入無關。 [1] 

靜態語義出處

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