The implementation of strategies depends on higher order unification.Our approach can be automatized easily.

• 因此,我们的程序综合方法可以在统一的框架下使用多种软件自动构造技术,且易于自动实现。