program semantics的意思

program semantics中文翻譯：

程序語義學

相似詞語短語

introducing semantics───引入語義學

generative semantics───[語]生成語義學

gifted program───天才計劃

internship program───實習計劃；實習項目

headstart program───headstart程序

doctoral program───博士生項目

exercise program───訓練方案；鍛煉計劃

processing program───n.[計]處理程序；[計] 處理程序

compiled program───編成程序

雙語使用場景

compiler is free to reorder certain instructions as an optimization when it would not change the semantics of the program.───當編譯器不會改變程序的語義時，作為一種優化它可以隨意地重新排序某些指令。

Predicate Calculus and Program Semantics.───謂詞演算與程序語義。

Programs have appeared as O_expressions(expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.───程序以操作表達式的形式呈現，而其語義則以公理的形式給出。

英語使用場景

Predicate Calculus and Program Semantics.