Class-Specific Optimizations for Object-Oriented Programs

高效编程和科学计算的软件工具被认为是对国家安全和工业增长至关重要的两项技术。面向对象编程(OOP)为提高软件开发过程中的生产率提供了部分解决方案。OOP强调应用程序的模块化和增量开发。OOP增强了可维护性和可靠性，因为实现中需要的更改可以本地化到特定的组件。面向对象的开发还促进了软件资产的重用。重用可以提高可靠性、降低开发成本和提高生产效率。采用面向对象、以框架为中心的方法的成本是面向对象语言带来的运行时开销。C++等语言为程序员提供了广泛的支持，但对必须生成快速高效代码的编译器几乎没有帮助。这项研究探讨了特定于类的程序优化的规范和实现--由面向对象编程系统的用户定义并附加到对象类型的优化。通过将优化与类相关联，可以保留面向对象编程的面向类风格，同时以便于开发人员的规范级别提供优化信息。为了实现特定于类的优化，Object Science Corporation建议使用树重写系统的技术。这项工作将通过将优化器插入现有的C++编译器来验证。

Software tools for efficient programming and scientific computing are two technologies labeled as `critical` to this nation's security and industrial growth. Object-oriented programming (OOP) offers a partial solution to increasing productivity during software development. OOP emphasizes modular and incremental development of applications. OOP enhances maintainability and reliability because changes that are needed in an implementation can be localized to a specific component. Object-oriented development also fosters reuse of software assets. Reuse leads to increased reliability, decreased development costs, and increased productivity. The cost of adopting an object-oriented, framework- centered approach is the run-time overhead imposed by object-oriented languages. Languages such as C++ provide a wide-spectrum of support to a programmer, but little assistance to compilers that must generate fast and efficient code. This research approaches the specification and implementation of class-specific program optimizations- optimizations defined by the user of an object-oriented programming system and attached to object types. By associating optimizations with classes, one preserves the class-oriented style of object-oriented programming while providing optimization information at a level of specification convenient to the developer. To implement the class-specific optimizations, Object Science Corporation proposes to draw on techniques for tree-rewriting systems. The work will be validated by inserting the optimizer into an existing C++ compiler.