SHF: Small: Modular Reflection

SHF：小型：模块化反射

• 批准号: 1218208
• 负责人: Bor-Yuh Evan Chang
• 金额: $ 25万
• 依托单位: University of Colorado at Boulder
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-10-01 至 2016-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1218208&HistoricalAwards=false
• 关键词: SHF; Small; Modular; Reflection

As the internet and mobile devices become increasingly importantparts of our society, the need for web and mobile applications hasgrown. Recent advances in software frameworks have drasticallyreduced the amount of code needed to develop such applications. From aprogramming languages perspective, the key enabling technology isreflection, that is, the ability of a program to introspect and tomodify itself. Unfortunately, reflection comes at a heavy cost:it can delay the detection of bugs, it reduces the effectiveness ofbug-finding tools, and it reduces the speed of applications. Thegoal of this research project is to preserve the benefits ofreflection while eliminating the disadvantages, thereby improving thereliability and speed of web and mobile applications.The key observation that underlies this research is that uses ofreflection in software frameworks are governed by implicitconventions. If those conventions could be made explicit, thenautomated software tools will be able to effectively reason aboutreflective code. This research will create a rich specificationlanguage for making those conventions explicit, it will investigatealgorithms for inferring specifications from existing application code, and it will develop tools for checking theconformance of web-mobile applications and frameworks with respect to specifications.

随着互联网和移动设备成为我们社会日益重要的组成部分，对网络和移动应用程序的需求也不断增长。软件框架的最新进展大大减少了开发此类应用程序所需的代码量。从编程语言的角度来看，关键的使能技术是反射，即程序自省和修改自身的能力。不幸的是，反射代价高昂：它会延迟错误的检测，降低错误查找工具的有效性，并降低应用程序的速度。该研究项目的目标是保留反射的优点，同时消除缺点，从而提高网络和移动应用程序的可靠性和速度。这项研究的关键观察是，软件框架中反射的使用受到隐式约定的约束。如果这些约定能够变得明确，那么自动化软件工具将能够有效地推理反射代码。这项研究将创建一种丰富的规范语言来使这些约定变得明确，它将研究从现有应用程序代码中推断规范的算法，并将开发用于检查网络移动应用程序和框架与规范的一致性的工具。