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.