摘要： In the compilation of rule program to the intermediate code-RETE network,optimizing compilation is an important compiler schema,and is a necessary step in the compiler verification.In this paper,we discuss optimization schemas in rule program compilation,

关键词: RETE网络 优化编译模式 PVS 形式验证 编译器 程序设计语言