|
|
计算机科学 2003
rete网络中的优化编译模式及其pvs形式验证Keywords: rete网络优化编译模式pvs形式验证编译器程序设计语言 Abstract: inthecompilationofruleprogramtotheintermediatecode-retenetwork,optimizingcompilationisanimportantcompilerschema,andisanecessarystepinthecompilerverification.inthispaper,wediscussoptimizationschemasinruleprogramcompilation,
|
