Semantics of Implicit Procedure-Calling Mechanisms

题目：隐式过程调用机制的语义现代软件体系结构显示了过程调用的极端动态模式，其中很难确定从任何调用站点调用了哪个过程。这些体系结构有时被称为隐式调用体系结构。该项目建议研究隐式过程调用的两种机制：基于事件的编程（也称为观察者模式）和面向方面的编程。它建议为这些机制开发控制流分析，并考虑这些机制与更传统的计算模型之间转换的正确性。它还建议扩展首席研究员之前关于上下文等价的工作，以考虑受建筑约束限制的上下文中的等价。

Proposal: CCR-0097740Title: Semantics of Implicit Procedure-Calling MechanismsPI: Mitchell WandModern software architectures display extremely dynamic patterns of procedure invocation, in which it is difficult to determine what procedure is invoked from any call site. These architectures are sometimes called implicit invocation architectures. This project proposes to study two mechanisms for implicit procedure invocation: event-based programming (also known as the Observer pattern), and aspect-oriented programming. It proposes to develop control-flow analyses for these mechanisms, and to consider the correctness of translations between these mechanisms and more traditional models of computation. It also proposes to extend the principal investigator's previous work on contextual equivalence to consider equivalence in contexts limited by architectural constraints.