理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- test-bed background data base
- test bench
- test bias
- test blasting
- test board
- testboard
- test by the probability paper
- test case
- test case generator
- test channel
- test characteristic function
- test charge
- test complexity
- test condition
- test construction
- test coverage
- test criterion
- test cross
- test cycle of internal combustion engine
- test data
- test data generator
- test desk
- test desk, test bench
- test developing
- test documentation