CAREER: Clamp - Language Support for C-Level Abstraction, Modularity, and Portability

dan grossman华盛顿大学职业：Clamp: c级抽象、模块化和可移植性的语言支持本研究涉及模块化和可移植低级软件的新编程语言技术（用一种称为“Clamp”的新语言）的设计、实现和评估。目标是为程序员提供一种语言，允许在必要时进行特定于机器的假设，并提供一个强大的系统来确保永远不会隐式地进行此类假设。这样做可以更容易地构建健壮的软件基础结构，并在软件开发过程的早期发现缺陷。对检查低级不变量的自动支持也应该使向学生和专业人员教授可靠的软件习惯用法变得更容易。提供一种安全但方便的低级语言的关键技术难点是支持别名分析（确定程序表达式何时引用相同的内存）和编译时算术（对数值计算的可能结果进行推理）。因此，Clamp基础设施的目的是使使用不同的方法来解决这些问题变得容易，而对Clamp实现的更改最小。

CCF-0447697Dan GrossmanUniversity of WashingtonCAREER: Clamp: Language Support for C-Level Abstraction, Modularity, and PortabilityThis research involves the design, implementation, and evaluation of new programming-language technologies (in a new language called "Clamp") for modular and portable low-level software. The goal is to provide alanguage for programmers that allows for machine-specific assumptions where necessary and a powerful system for ensuring such assumptions are never made implicitly. Doing so should make it easier to buildrobust software infrastructure and detect defects early in the software-development process. Automated support for checking low-level invariants should also make it easier to teach reliable-software idioms to students and professionals. Key technical difficulties in providing a safe-but-convenient low-level language are support for alias analysis (determining when program expressions refer to the same memory) and compile-time arithmetic (reasoning about the possible results of a numeric computation). Therefore, the Clamp infrastructure is intended to make it easy to use different approaches to these problems with minimal change to the Clamp implementation.