%0 Journal Article
%T rete网络中的优化编译模式及其pvs形式验证
%A 刘晓建 陈平？
%J 计算机科学
%D 2003
%X inthecompilationofruleprogramtotheintermediatecode-retenetwork,optimizingcompilationisanimportantcompilerschema,andisanecessarystepinthecompilerverification.inthispaper,wediscussoptimizationschemasinruleprogramcompilation,
%K rete网络优化编译模式pvs形式验证编译器程序设计语言
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=8806836&flag=1