理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- parallel-plate flow chamber
- parallel-plate ionization chamber
- parallel plate waveguides
- parallel-plate waveguides
- parallel polygeneration system
- parallel port
- parallel postulate
- parallel processing
- parallel processing system
- parallel processor
- parallel product
- parallel profile
- parallel programming
- parallel programming language
- parallel programming model
- parallel projection
- parallel projection method
- parallel proportional profile
- parallel prose
- Parallel Proses of Six Dynasties
- parallel quadrilateral
- parallel random access machine
- parallel random access machine, PRAM
- parallel reaction
- parallel reactions