1) numerical part
数值部分
2) partial additivity value function
部分可加值函数
3) partial values
部分值
4) partial evaluation
部分计值
1.
It also gave the corresponding definition of the partial evaluation and proved the correctness of the partial evaluator, and showed the correctness of the partial evaluation and the invariance of certain properties of the environments under partial/residual and total evaluation.
定义了 JVML指令序列的程序语义 ,构造了相关的 JVML子集部分计值器并形式化地给出了计值规则 ,证明了计值规则的正确性 ,说明了表达式和语句在一定的环境下通过部分 /剩余( Partial/Residual)计值和全局 ( Total)计值的不变
2.
The most important phase of partial evaluation is the binding time analysis(BTA), which works ahead to distinguish those computations which can be computed in partial evaluation time from which should be left to the running time, when the binding time information of the program s initial argument is given.
构造程序语言的部分计值器时最重要的一步是约束时间分析 。
5) partial evaluation
部分求值
1.
An incremental database engine based on partial evaluation;
一个基于部分求值的增量式数据库引擎
2.
In order to refine alias relations and reduce alias set,a new alias analysis method is introduced by combining partial evaluation and alias analysis technique.
通过并行融合部分求值和别名分析技术,提出一种新的别名分析方法,并给出形式化描述。
3.
The construction method of meta-interpreter and facility of partial evaluation was analyzed.
本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现。
6) Partial computation
部分求值
1.
The unfolding problem of loop has always been a difficult problem in the partial computation of imperative languages.
文中基于数据流分析（ＤＦＡ）技术，通过引进循环中变量之间的相互依赖关系，提出一种过程式语言部分求值的处理方法。
补充资料：部分递归函数
部分递归函数
partial recursive function
部分递归函数【声而且recur幼ve五11℃ti.I;，acT“叹加pe鱿即e抓n曲中”Ku“.]，递归函数(recurslve func-tion) 可计算函数(computab卜丘mc如n)概念的等价精确化之一B E.取肛x。撰【补注】亦见部分递归算子(p盯hal化cursive Opera-tor);递归函数(reeursiVe fun etio灯).杜小杨译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条