1) distributed partial evaluation
分布式部分计值
1.
It gives the architecture and realization mechanism of distributed partial evaluation based on the Java byte code specialization and grid features.
基于字节码例化的部分计值和网格特性,分析并给出了分布式部分计值架构和实现机制。
2) 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.
构造程序语言的部分计值器时最重要的一步是约束时间分析 。
3) Partial evaluator
部分计值器
5) distributed deployment
分布式部署
6) Partial Distributed CA
部分分布式CA
补充资料：计值
1.见"计直"。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条