[计]?程序语义学
... microprocessor semantics 微处理机语义学... program semantics 程序语义学 semantics implementation system 语义学实现系统...
程序转换语意学 ; 程序转化语意学 ; 顺序转化语意学
逻辑程序语义
程序近似语义
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。