靜態語義（static semantics）是2018年經全國科學技術名詞審定委員會審定發布的計算機科學技術名詞。
基本介紹
- 中文名：靜態語義
- 外文名：static semantics
- 所屬學科：計算機科學技術
- 發布時間：2018年
定義,出處,
定義
一類程式形式語義。涉及到程式形式合法性的檢查，與編譯時的各種動作對應，它與程式運行時所需的輸入無關。
出處
《計算機科學技術名詞 》 (第三版)
靜態語義
相關詞條
- 靜態語義
靜態語義（static semantics）是2018年經全國科學技術名詞審定委員會審定發布的計算機科學技術名詞。定義一類程式形式語義。涉及到程式形式合法性的檢查，與編譯時的各種動作對應，它與程式運行時所需的輸入無關。1...
- 程式靜態分析
學術領域比較認可的靜態分析工具，其技術處於領先地位。mygcc 由一個法國人N. Volanschi開發，其思想來源於MC，試圖將自定義的錯誤檢測集成到編譯時。Klocwork 國內用的最為廣泛的靜態分析工具，由加拿大北電於1996年研發，是中國最早的能夠檢測語義缺陷的靜態分析工具。截止到2015年其版本號為V10,也就是大家常說的...
- 語義指向分析
《語義指向分析》（Semantic Orientation Analysis）是一篇分析文章，作者：陸儉明。指向分析 陸儉明 關鍵字：語義指向、層次切分法、句法結構、語法意義 引言 1.1 以布龍菲爾德(L.Bloomfield)為代表的美國描寫語言學的語法研究，重在對某一種語言或方言的語法規則作細微的、靜態的描寫；喬姆斯基(N.Chomsky)所開創的生成...
- 語義指向
語義上的搭配關係和句子成分之間的組合關係可以是一致的也可以是不一致的。一般來說，我們在對狀語的語義指向作靜態分析時，狀語的語義指向是確定的，而這種確定性是有深厚語義基礎的。這決定於狀語在深層結構中與其他成分的同現關係。也就是說句子的某個成分在語義上指向哪，或者說同哪個成分或哪些成分發生語義联系...
- 認知語義學:靜態事件的概念化和類型學
《認知語義學：靜態事件的概念化和類型學》是2023年暨南大學出版社出版的圖書，作者是任龍波。內容簡介 本書以Talmy認知語義學為視角，採用質性與實證研究相結合的方法，使用Bow-Ped和PosB兩個圖片系列作為實驗工具，採用SPSS軟體中的Pearson卡方檢驗、Fisher精確檢驗以及聚類分析等統計方法，探討英漢兩種語言的空間靜態...
- 漢語語義研究
《漢語語義研究》是2006年中南大學出版社出版的圖書，作者是邱震強。圖書目錄 第一章 漢語語素義研究（1） 第一節 漢語語素義研究綜述（1） 第二節 為漢語語素義正名（4） 一、義素不是最小的語義單位（4） 二、語素義才是最小的語義單位（6） 第三節 漢語語素義的靜態與動態（11） 一、語素義的靜態（12...
- 靜態程式分析
在信息安全的領域中，靜態程式分析會稱為靜態應用程式安全檢測（StaticApplicationSecurityTesting，簡稱SAST）。形式化方法 形式化方法是一種利用純粹數學的方式分析軟體的方法，套用到的數學技巧包括指稱語義、公理語義、操作語義學及抽象釋義等計算機科學中的方法。針對任何圖靈完全的程式語言，不可能存在一算法可以找出任意...
- 靜態檢測技術
靜態檢測技術是指對被測軟體的源程式或者二進制代碼進行掃描，從語法、語義上理解程式的行為，直接分析被檢測程式的特徵，尋找可能導致錯誤的異常。基本含義 具體的掃描過程可以使用採取測，或者手工測試的方法。深層分析 二進制對比技術（Binary Contrast）和詞法分析（Lexical Analysis）是針對軟體代碼進行審查的檢測技術，...
- 俄羅斯當代語義學
辭彙語義單位之間的差別可能只體現在義素扮演的交際角色不同上，而不是義素的內容和數量不同上。語義被置於言語的動態組合系列中時，其義素的交際結構較之在語言的靜態聚合系統中，可能發生變異。特定的某一辭彙語義因素常常被選擇、凸顯出來扮演主要的交際角色，其他方面則在交際功能上退居次要的地位。辭彙語義單位的...
- 靜態知識
靜態知識 靜態知識（static knowledge）是2018年公布的計算機科學技術名詞。定義 表示事物間結構關係等固定不變的知識。出處 《計算機科學技術名詞 》第三版。
- 認知語義學(卷Ⅱ)
評論 《當代國外語言學與套用語言文庫·認知語義學（卷2）：概念結構中的類型及過程》的核心是“概念結構系統”。作者（塔爾米）在卷Ⅰ和卷Ⅱ的副書名中均使用了structuring一詞，表示概念結構並不是一個靜態的結構系統，而是通過不同的認知過程“構建”（structuring）而成。
- 辭彙語義的動態模式
第七章 運動 第一節 運動動詞語義中的指示性要素 1.1 英語詞come與俄語詞идти和прийти的比較 1.2 非派生的和帶前綴的運動動詞，觀察者 1.3 非派生運動動詞 1.4 帶前綴的運動動詞 第二節 運動動詞的靜態語義衍生 第三節 時間的運動 3.1 時間模式 3.2 靜態時間和...
- 阿美語動詞的語義特徵及結構分析
《阿美語動詞的語義特徵及結構分析》是2013年8月中國社會科學出版社出版的圖書，作者是楊梅。內容簡介 《語言學及套用語言學學科博士文庫：阿美語動詞的語義特徵及結構分析》研究內容基本屬於語言的靜態研究的範疇。在理論和方法上，《語言學及套用語言學學科博士文庫：阿美語動詞的語義特徵及結構分析》主要吸收格語法、配...
- 一般現在時
嚴格區分進行時與一般時的語義 持續動詞的一般時表持續情況，經常性，習慣性行為或客觀存在的事實，進行時表暫時性或有限時刻的持續。短暫動詞的一般時敘述事實，特徵，能力而短暫動作進行時描述反覆發生，即將發生或剛開始行為。短暫動詞和靜態動詞一般時表示實際情況客觀狀態、結果、特徵、特性，進行時表未完成含開始或...
- 修辭手法
象徵、鑲嵌、析字、委婉、婉曲、通感、跳脫、轉文、舛互。修辭手法的運用需要呈現兩個關鍵特徵：一是可辨識的獨立於內容的結構，即形式（按照現代邏輯學家認可的區分，它可能是句法形式、語義形式或語用形式）；二是不同於常規表達方式的、引人注意的用法。修辭手法的種類 擇語 擇語（diction），修辭方法的一種。
- 謂語
這種分析方法，似乎很像現在的語義句法成分分析法。對句子構造類型的劃分，洛思與萊恩一樣，也是二分：簡單句和合成句。句子是詞的集合物，以適當的形式表達和按適當的順序排列，這些同時發生以成為完整的含義。句子的結構主要決定於詞的一致或協同關係（Concord or Agreement）和規定或支配關係（Regimen or Government）...
- 語用學(現代數理邏輯符號學分支)
語用學是指現代數理邏輯符號學分支之一。關於符號或語言符號（語詞、句子等表達式）與其解釋者關係的學科。美國莫里斯在提出語形學、語義學和語用學的區分時，認為語用學是對指號和解釋者的關係的研究，即研究指號在它出現於其中的行為範圍內的起源、用法和效果。卡爾納普認為，如果一種研究明確地涉及說話者或語言...
- 現代漢語假設句研究
全書共分八章，按照從語義到形式、從面到點的研究思路展開。本研究實踐證明，結合語義表達對假設句進行結構和功能的研究是可行的，語義對語法有決定作用，表達對語法形式的選擇具有制約作用，語義表達的需要是語法形式多樣化的動因。本研究做到了點面結合、定量和定性分析結合、動態和靜態研究結合，以描寫和分析為基礎，...
- 軟體工程卷2:系統與語言規約
2條件事件網（Condition Event Net，CEN）26812.2.1描述26812.2.2CEN 小示例26812.2.3條件事件網的 RSL 模型271CEN 句法和靜態語義271動態語義27312.3位置變遷網（Place Transition Net，PTN）27312.3.1描述27412.3.2PTN 小例子27412.3.3位置變遷網的 RSL 模型275PTN 句法和靜態語義275動態語義27612.3...
- 動態意義理論
本書介紹了四種動態意義理論：文檔變換語義學、話語表達理論、情景語義學和動態謂詞邏輯。內容簡介 它們在語義學的發展史上具有標誌性的意義，是形式語義學發展過程中的一道分水嶺。之前的邏輯語義學稱為傳統邏輯語義學，因其對句子語義的分析是靜態的，又可稱為靜態邏輯語義學。動態語義學對句子語義的分析從算法角度...
- semantic
This evolution can be caused by changes in the service functionality, semantic messaging, and implementation. 這個發展可能是服務功能、語義訊息傳遞和實現中的變更引起的。This is a static semantic error. 這是個靜態語義錯誤。The Semantic Web links and relates elements of the data model to a common ...
- 語用頻率效用研究
《語用頻率效用研究》由黑龍江大學鄒少華教授著作，2001年12月由商務印書館出版，全書正文298頁。作為全國哲學社會科學\九五\規劃項目\現代漢語語用頻率與語義關係\的最終成果，該書深入考察了詞語及句式在語用中的頻率對意義、結構等方面產生的不同影響。基本信息 就是說，(1)中的“里”可省略，(2)中的“外”...
- 語篇分析
語篇分析，語言學領域術語。語義連貫是個十分複雜的問題，有時語篇的連貫取決於說話的前提和發話者與受話者雙方的共有知識。基本內容 語篇分析包括以下幾點：1、銜接手段：常見手段有：（1）語法手段（照應、替代、省略等）（2）辭彙手段（復現關係、同現關係等）語法手段和辭彙手段的使用都可以表現結構上的銜接。
- 現代漢語遞進範疇研究
《現代漢語遞進範疇研究》是2007年北京廣播學院出版社出版的圖書，作者是周靜。本書遵循形式和意義、描寫和解釋、靜態與動態相結合的三大原則，詳細討論了遞進的語義系統，從意義出發給遞進範疇進行了分類，並尋求形式上的驗證。內容提要 本書在對客觀語言事實充分描寫的基礎上，又從語義、語用、認知、邏輯等各個角度，...
- 代詞隱現的動態研究
接著進一步定義了本書的研究對象，即代詞隱現所引起的句法合格性和語義解讀的問題。研究的方法是描寫與解釋相結合、靜態與動態相結合。此外，本章對本書所用語料的選擇原則和判定句子是否合法的依據進行了說明，最後對本書使用的符號和術語做了解釋。第二章簡要回顧了不同理論框架下代詞及空代詞的研究，評析了不同...
- 心理學流派
③語義編碼即意碼。認為人是按事物的各種性狀將其分成三種編碼分別貯存在三個不同的位置，而後可以用聲、形、意三種不同的途徑來檢索這一記憶。時代精神：信息技術的急速發展。電腦智慧型的研究。人性主義 心理學流派 人性主義心理學是獨具中國特色的心理學，它認為只有從人的本質屬性，即從人性出發才能正確地闡明人的...
- 司法解釋
司法解釋出台的原因包括：法律規則是對社會現象歸納總結後的抽象規定，但社會現象極其複雜，法律難免存在漏洞；法律是用語言表達而成，語義、邏輯難免會有漏洞；法律制定後不能隨意修改、廢止，不斷變化、發生的新情況，也需要及時規制；法律有滯後性，只能分析解決已發生的矛盾，不可能預見未來所有新的情況。根據《最高...
