1) 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.
构造程序语言的部分计值器时最重要的一步是约束时间分析 。
2) Partial evaluator
部分计值器
3) 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.
基于字节码例化的部分计值和网格特性,分析并给出了分布式部分计值架构和实现机制。
4) partial values
部分值
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.
文中基于数据流分析（ＤＦＡ）技术，通过引进循环中变量之间的相互依赖关系，提出一种过程式语言部分求值的处理方法。
补充资料：计值
1.见"计直"。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条