The benefit is that one can build up the theory of correctness provable compiler easily.

这样处理的好处是便于构造正确性可证明的编译器设计的理论基础。

youdao

The benefit is that one can build up the theory of correctness provable compiler easily.

这样处理的好处是便于构造正确性可证明的编译器设计的理论基础。

youdao