基于Cytron和Cooper等人的研究成果,提出了一个新的概念——支配边界逆转（dominatorfrontier inverse,DFI）来同时为多个变量摆放Φ函......