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的一些代数定律。这些定律可以从其指称语义证明，并用于程序的转化和优化。
Operational semantics and algebraic laws are very useful in practice.
形式化语义和代数法则在实践应用是很有用的。
Operational semantics and algebraic laws are very useful in practice.
形式化语义和代数法则在实践应用是很有用的。
应用推荐