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.

随着互联网和移动设备成为我们社会越来越重要的部分，对网络和移动应用程序的需求呈现。软件框架的最新进展已大大评估了开发此类应用程序所需的代码量。从图像的语言角度来看，启用技术的关键能力，即程序内省和表达自己的能力。不幸的是，反射的成本很大：它可以延迟发现错误的检测，它降低了遇到袋的工具的有效性，并降低了应用的速度。该研究项目的目标是在消除缺点的同时保留反思的好处，从而提高了网络和移动应用程序的可靠性和速度。这项研究的基础是，这项研究的基础是，在软件框架中使用反射框架的用途受构层的影响。如果可以明确说明这些惯例，则可以有效地推荐删除代码的软件工具。这项研究将创建丰富的规范语言，以使这些约定明确，它将研究以从现有应用程序代码中推断规格的研究，并将开发用于检查Web-Mobile应用程序和规范框架的符合性的工具。