"CAREER:" Enforcing and Validating User-Defined Programming Disciplines

加州大学洛杉矶分校Todd Millstein：实施和验证用户定义的编程规程程序员通过遵守各种编程规程来管理开发和维护软件系统的复杂性，这些编程规程对程序实体施加了额外的结构。然而，今天的编程语言缺乏对指定和检查重要编程规程类的支持，这使得这些规程很容易被忘记或误用。这项研究调查了一个用户定义的编程学科的框架。框架的用户通过声明性规则指定编程规则，这些规则在编译时自动强制应用于程序。用户还可以指定规程的预期运行时不变量，该框架帮助确保所提供的规则遵守这些不变量。研究的重点是Java框架的实例化，它针对三个主要的规程类：设计模式的规程；对并发程序施加结构的规程；以及确保强形式的对象封装的规程。建议的框架旨在通过允许程序员轻松地记录、执行和验证依赖的编程规程来提高软件系统的质量。由此产生的工具将公之于众，并纳入课堂。

ABSTRACTCCF-0545850Todd MillsteinUniversity of California - Los AngelesCAREER: Enforcing and Validating User-Defined Programming DisciplinesProgrammers manage the complexity of developing and maintaining software systems by adhering to various programming disciplines, which impose additional structure on program entities. However, today'sprogramming languages lack support for specifying and checking important classes of programming disciplines, making these disciplines easy to forget or misuse. This research investigates a framework foruser-defined programming disciplines. A user of the framework specifies a programming discipline through declarative rules, which are automatically enforced on programs at compile time. The user may also specify a discipline's intended run-time invariants, and the framework helps to ensure that the provided rules respect these invariants. The research focuses on an instantiation of the framework for Java that targets three major discipline classes: disciplines for design patterns; disciplines that impose structure on concurrentprograms, and disciplines that ensure strong forms of object encapsulation. The proposed framework aims to improve the quality of software systems by allowing programmers to easily document, enforce, and validate relied-upon programming disciplines. The resulting tools will be made publicly available and incorporated in the classroom.