是一套用于软件开发的开发库，尤其是编译器设计。
Bolt is a suite of development libraries for software development, especially compiler design.
阐述了编译器的设计原理和编译模式。
Design principle and compiling mode of compiler are expounded.
给出了一种编译器生成器的设计原理。
这样处理的好处是便于构造正确性可证明的编译器设计的理论基础。
The benefit is that one can build up the theory of correctness provable compiler easily.
这样处理的好处是便于构造正确性可证明的编译器设计的理论基础。
The benefit is that one can build up the theory of correctness provable compiler easily.
应用推荐