计算机术语“formal semantics”的中英文意思、释义、翻译及用法-计算机英汉双解词典

术语	formal semantics
释义	formal semantics 形式语义学［程序］ A language for computeroriented languages which acts as a compilercompiler and contains formal semantics. 一种面向计算机语言的机器代码,其作用为一种编译程序的编译程序并包含形式语义。
随便看	resource manager resource number resource pool resource protection resource sharing resource sharing control resource table resource takeover resource vector table (RVT) responded output responder respond key typeout response response alternate program communication block response analysis program (RAP) response curve response duration response frame response header (RH) response mode response position response ratio response/throughput bias (RTB) response time response unit (RU)

计算机英汉双解词典包含21137条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。