操作语义的英文

• operational semantics

• "操作"英文翻译    operate; manipulate; handle
• "语义"英文翻译    semanteme; semantics
• "操作语义 运算的语义" 英文翻译 :    operationalsemantics
• "操作语言" 英文翻译 :    operating language
• "基于参照的对词结构操作语义的归纳学习" 英文翻译 :    the inductive learning of operation semantics of words structure based on referring
• "操作操作语句" 英文翻译 :    statement of operation
• "代数操作语言" 英文翻译 :    algebraic mainipulation language; algebraic manipulation language
• "键盘操作语言" 英文翻译 :    keyboard manipulation language
• "数据操作语言" 英文翻译 :    data manipulation language dml; database manipulation language; datamanipulationlanguagedml; dml data manipulation language
• "通用操作语言" 英文翻译 :    gol general operating language
• "图形操作语言" 英文翻译 :    graphics manipulating language
• "文件操作语言" 英文翻译 :    fml file manipulation language
• "信息操作语言" 英文翻译 :    information manipulation language
• "字串操作语言" 英文翻译 :    string manipulation language
• "语义操作" 英文翻译 :    semantics operation
• "高级数据操作语言" 英文翻译 :    hldml high level data manipulation language
• "空间数据操作语言" 英文翻译 :    spatial data manipulation language sdml; spatial data manipulation language, sdml
• "区域磁盘操作语句" 英文翻译 :    range disk operating statement
• "数据库操作语句" 英文翻译 :    data base manipulation statement
• "查询和数据操作语言" 英文翻译 :    query and data manipulation language
• "代数表达式操作语句" 英文翻译 :    algebraic expression manipulation statement
• "代数操作语言, 代数操纵语言" 英文翻译 :    algebraic manipulation language
• "基于知识的操作语言" 英文翻译 :    kbl knowledge based operating language
• "系统宏指令操作语句" 英文翻译 :    system macro-operation statement
• "知识查询及操作语言" 英文翻译 :    kqml knowledge query and manipulation languagee

• Operational semantic of workflow engine
  工作流机的操作语义
• The type information provides more precise operational semantics to the values
  类型信息为值提供更精确的操作语义。
• The inductive learning of operation semantics of words structure based on referring
  基于参照的对词结构操作语义的归纳学习
• Equivalence proving of operational and denotational semantics about repeat - until statement
  语句的操作语义与指称语义的等价性证明
• This reliable message delivery mechanism guaranteed by the internal state can build business oriented transactions
  在这个基础上，我们可以构建广泛的更高级别的每操作语义，比如事务。
• After running the tool , the serer - side developer must implement the appropriate business logic to fulfill the semantics of the operations in the service definition
  在运行工具后，服务器端的开发人员必须实现正确的业务逻辑以执行该服务定义中的操作语义。
• From the work above , this thesis has defined a dfl programming language in a fire - new view which had the superiority in solving dynamic fuzzy problems
  在描述、解决具有动态模糊性的问题时,本文所给出的dfl程序设计语言的操作语义模型与常见的高级程序设计语言相比表现出了很好的优越性。
• This is the operating semantic that all remote procedure call mechanism implement since this is the standard function - call semantic in procedural and object - oriented programming languages
  这是所有的远程过程调用（ rpc ）机制实现的操作语义，因为它是在过程性编程语言和面向对象的编程语言中的标准函数调用语义。
• Transactions are specified as mobile transactional programs that are propagated and executed in the server , thus allowing the validation of transactions based on application - specific semantics
  在客户端，事务被定义为移动事务“程序”并被用来同步，可以定义详细的操作语义以及替代操作，还可以定义冲突解决方案。
• Firstly , uml statecharts is structurally expressed by extended hierarchical automaton ( eha ) , and its operational semantics is expatiated . the correctness of semantics can be ensured through finding the maximal non - conflict transition set
  首先针对uml的特点对扩展层次自动机( extendedhierarchicalautomata ， eha )进行改进，以便能结构化地表示umlstatecharts ，并给出相应的操作语义。