从抽象模型到模式的高效编译

From abstract model to efficient compilation of patterns