program_transformation_semantics

1.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的一些代数定律。这些定律可以从其指称语义证明，并用于程序的转化和优化。
dict.yoduao.com