Semantics of Implicit Procedure-Calling Mechanisms

隐式过程调用机制的语义

• 批准号: 0097740
• 负责人: Mitchell Wand
• 金额: $ 21.42万
• 依托单位: Northeastern University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-10-01 至 2004-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0097740&HistoricalAwards=false
• 关键词: Semantics; 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.

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