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

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

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.