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的一些代数定律。这些定律可以从其指称语义证明，并用于程序的转化和优化。
The polyhedral representation technique provides a generic way to express program transformations and their composition, which facilitates the search of optimal program transformation.
多面体表示技术提供一种统一化的方式来表示程序变换和程序变换组合，有利于最优程序变换的搜索。
The polyhedral representation technique provides a generic way to express program transformations and their composition, which facilitates the search of optimal program transformation.
多面体表示技术提供一种统一化的方式来表示程序变换和程序变换组合，有利于最优程序变换的搜索。
应用推荐