Modularizing Control

面向方面编程(AOP)是一个活跃的研究领域，它对模块化程序功能感兴趣，包括同步、分发和插装，所有这些功能都与更基本的应用程序关注点交叉和纠缠。通过封装和抽象这些功能，程序可以变得更易于编写、读取和维护。AOP的一种基本形式是通过一种由三部分组成的新机制来模块化这些功能：动态连接点、切入点和建议。该机制的现有语义描述与AOP模块化分离关注点的目标脱节，因为该描述对基础语言进行了特别扩展。

Aspect-oriented programming (AOP), an active research area, is interested in modularizing program features, including synchronization, distribution, and instrumentation, all of which crosscut and entangle with more fundamental application concerns. By encapsulating and abstracting these features, programs can become easier to write, read, and maintain. One fundamental form of AOP modularizes these features by a novel mechanism comprised of three parts: dynamic join points, pointcuts, and advice. Existing semantic accounts of this mechanism are disconnected from AOP's goal of modular separation of concerns because the account imposes an ad-hoc extension to a base language.