refinement operator
refinement operator是什么意思、refinement operator怎么读
读音：[rɪˈfaɪnmənt ˈɒpəreɪtə(r)]
[rɪˈfaɪnmənt ˈɑːpəreɪtər]
refinement operator 基本解释
【计】提纯运算符
重点词汇
- operatorn. 操作员, 行家, 经纪人, 算子, 运算符 [计] 运算符
- refinementn. 精致, 高尚, 精巧 [医] 精制, 精练
refinement operator 双语例句
- 1、
This paper mainly is automatic refinement of cartesian operator in set theory.
本文主要研究的是集合论中笛卡尔积算子的自动求精。 - 2、
; Fifth, generate target programme ( C++ code) in according to the information in analysis of semantics and symbol table, as well as the refinement rule of set theory operator in generating target code stage.
目标代码生成阶段根据语义分析的信息、符号表的信息以及集合论算子的求精规则产生目标程序，即C++程序代码。