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