Modularizing Control

面向对象编程（AOP）是一个活跃的研究领域，它对模块化程序功能感兴趣，包括同步、分发和插装，所有这些功能都与更基本的应用程序问题交叉和纠缠在一起。 通过封装和抽象这些功能，程序可以变得更容易编写，阅读和维护。 AOP的一种基本形式通过一种新颖的机制将这些特性模块化，该机制由三部分组成：动态连接点、切入点和通知。 现有的语义帐户的这种机制是断开AOP的目标模块化分离的关注，因为帐户强加了一个特设的扩展到一个基本language.Based博士研究表明，动态连接点自然产生的连续语义的编程语言，本研究提出了一个桥梁之间的模块化目标的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.Based on doctoral research showing that dynamic join points arise naturally from the continuation semantics of a programming language, this research proposes a bridge between the modularity goals of AOP and the semantic structures it works with.  That bridge identifies dynamic join point aspects as modularizing control structure of programs.  In the short term, a number of projects are proposed to refine and extend this model of AOP, especially focusing on types and effects descriptions of the modular units made available by AOP.  By identifying and annotating these "abstract control types" in programs, we enable a fuller account of the programmers intentions and provide ways for those intentions to be checked against the actual program code.  This clarity and checking should result in fewer software defects, and possibly greater code reuse.In the long term, this research programme proposes to develop a "standard model of programming languages" which characterizes the elements and interactions at work in programming languages.  This modularity over control is the first part of that model.