Jason RC,Patterson DA.Accurate static branch prediction by value range propagation.In:Proc.of the ACM SIGPLAN 1995 Conf.on Programming Language Design and Implementation.

• 刘品.；可靠性工程基础