"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.