Modularizing Control

点击翻译按钮获取中文摘要

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.