程序变换(program transformation) 将一个面向问题、 结构清晰、易于理解的，但效率不太高的正确程序，通过对其进行由粗到细的变换，而得到一个不太直观但效率较高...
基于60个网页-相关网页
...program transformation, program optimisation, linearisability, deductive databases, database queries. [gap=298]关键词：数据记录程序，程序转换，程序优化，linearisability，演绎数据库，数据库查询。 ？
基于36个网页-相关网页
程式转换(Program transformation) 特定目标转换程式结构 ;对程式作部份取代或修改 从高阶(high-level)规格逐次转换 产生具特定性质之程式码 Context-sensitive do...
基于12个网页-相关网页
Program Transformation Semantics 程序转换语意学 ; 程序转化语意学
recursive program transformation 递归程序变换的
program transformation system 程序变换系统
program transformation design 程序变换设计
program transformation method 程序转换方法
automatic program transformation 自动程序转换
Partial evaluation is a program transformation technique for specializing programs which finish the computation of programs under some known input as much as possible and produce more efficient residual programs.
部分计值是一种程序转换技术,在给定程序部分输入的情况下,可使用该技术对程序进行例化,完成程序中尽可能多的计算,最终得到高效的剩余代码。
参考来源 - 部分计值综述 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
We can study program transformation, program optimization and investigate general theorems of program properties with help of it.
它享有优美的代数性质，有助于程序的转换、优化和探求有关程序性质的一般定理。
According to this transformation grammar, a program transformation algorithm can transform source language programs into object language programs.
程序转换算法根据转换文法，可把源语言程序转换为目标语言程序。
Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
最后还给出了时间化RSL的一些代数定律。 这些定律可以从其指称语义证明，并用于程序的转化和优化。
应用推荐