形式语义学的英文

• formal semantics of programming languages

• "形式"英文翻译    form; shape; layout; modalit ...
• "语义学"英文翻译    semantics
• "形式语义学引论" 英文翻译 :    introduction to formal semantics
• "形式语义" 英文翻译 :    formal definition; formal semantics of programming languages
• "形式语义定义" 英文翻译 :    formal semantic definition
• "形式语义描述" 英文翻译 :    formal semantic description
• "形式语义模型" 英文翻译 :    formal semantic model
• "形式语义语言" 英文翻译 :    formalsemantic language; fsl formal semantic language
• "语义学" 英文翻译 :    semantics◇语义学家 semanticist
• "文档样式语义学和规范语言" 英文翻译 :    dsssl document style semantics and specification language
• "成分语义学" 英文翻译 :    compositional semantics
• "程序语义学" 英文翻译 :    program semantics
• "词汇语义学" 英文翻译 :    lexical semantics
• "代数语义学" 英文翻译 :    algebraic semantics
• "动词语义学" 英文翻译 :    verb semantics
• "公理语义学" 英文翻译 :    axiomatic semantics; axiomaticsemantics
• "关系语义学" 英文翻译 :    relational semantics
• "计算语义学" 英文翻译 :    computational semantics
• "结构语义学" 英文翻译 :    structural semantics
• "解释语义学" 英文翻译 :    interpretative semantics
• "句法语义学" 英文翻译 :    syntactic semantics
• "句子语义学" 英文翻译 :    sentence semantics
• "逻辑语义学" 英文翻译 :    logical semantics
• "篇章语义学" 英文翻译 :    semantics of paragraphs
• "潜在语义学" 英文翻译 :    latent semantic analysis

• 形式语义学的法语：Sémantique des langages de programmation
• 形式语义学的日语：プログラム意味論
• 形式语义学的俄语：Семантика (программирование)
• 形式语义学的阿拉伯语：علم الدلالة الشكلي;