Semantics of Implicit Procedure-Calling Mechanisms

建议：CCR-0097740标题：隐式过程调用机制的语义PI：Mitchell Wand现代软件体系结构显示出非常动态的过程调用模式，在这种模式下，很难确定从任何调用点调用什么过程。这些体系结构有时称为隐式调用体系结构。这个项目建议研究两种隐式过程调用机制：基于事件的编程(也称为观察者模式)和面向方面的编程。它建议为这些机制开发控制流分析，并考虑这些机制与更传统的计算模型之间转换的正确性。它还建议扩展首席研究者先前关于语境对等的工作，以考虑在受建筑限制的语境中的对等。

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.