理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- debate talk show program
- debeaker
- Debeaune
- de Beaune
- De Beldamandi
- debenture
- debenzolization
- de Bessy
- Debiprasad Chattopadhyaya
- debituminization
- deblade
- deblocking
- deblocking bolt
- deblooming
- deblurring
- debond
- deboost
- Deborah Baron
- Deborah Kerr
- Deborah number
- Deborah Stone
- Debouchment of Sishui River
- De Bouelles
- De Bragelogne
- debranching enzyme