axiomatic semantics：公理語(yǔ)義

公理語(yǔ)義(axiomatic semantics) 運(yùn)用數(shù)學(xué)中的公理化方法給出的計(jì)算機(jī)語(yǔ)言的語(yǔ)義. 不同的人在了解程序的含義時(shí)有不同的要求. 例如,有的人只關(guān)心程序的數(shù)據(jù)輸入和輸出,而不關(guān)心程序是否正確終止. 公理語(yǔ)義就是研究如何將這些不同的要求形式化,

axiomatic semantics：公理化語(yǔ)義

axiom scheme 公理模式 | axiomatic semantics 公理化語(yǔ)義 | b box 基址寄存器

common sense semantics：常識(shí)語(yǔ)意學(xué)

commissive 許諾[語(yǔ)行] | common sense semantics 常識(shí)語(yǔ)意學(xué) | Communication Theory 通訊理論 [通訊論;信息論]

generative semantics：生成語(yǔ)義學(xué)

1963年,美國(guó)語(yǔ)言學(xué)家福德?tīng)柡涂ù拈_(kāi)始利用這些方法進(jìn)行語(yǔ)義特征的形式描寫(xiě)并由此為興起的不久的生成語(yǔ)義學(xué)(generative semantics)提供了嶄新的分析路徑,促使其發(fā)展成為一個(gè)比較完整的語(yǔ)言學(xué)理論體系[4].

cartographic semantics：地圖語(yǔ)義

地圖語(yǔ)言 cartographic language | 地圖語(yǔ)義 cartographic semantics | 地圖語(yǔ)義 cartographic semantics

Syntactic Semantics：句法語(yǔ)義學(xué)

語(yǔ)義場(chǎng) semantic field | 句法語(yǔ)義學(xué) syntactic semantics | 成分語(yǔ)義學(xué) compositional semantics

denotational semantics：標(biāo)誌語(yǔ)意

標(biāo)誌描述 denotational description | 標(biāo)誌語(yǔ)意 denotational semantics | 標(biāo)誌語(yǔ)意語(yǔ)言 Denotational Semantics Language

denotational semantics：指稱語(yǔ)義

依賴圖 dependency graph | 指稱語(yǔ)義 denotational semantics | 公理語(yǔ)義 axiomatic semantics

Denotational Semantics Language：標(biāo)誌語(yǔ)意語(yǔ)言

標(biāo)誌語(yǔ)意 denotational semantics | 標(biāo)誌語(yǔ)意語(yǔ)言 Denotational Semantics Language | 標(biāo)誌語(yǔ)意方法 denotational semantics method

denotational semantics method：標(biāo)誌語(yǔ)意方法

標(biāo)誌語(yǔ)意語(yǔ)言 Denotational Semantics Language | 標(biāo)誌語(yǔ)意方法 denotational semantics method | 標(biāo)誌設(shè)定 denotational setting