NSF Young Investigator: Object-Oriented Language Design and Implementation Research

NSF青年研究员：面向对象语言设计与实现研究

• 批准号: 9457767
• 负责人: Craig Chambers
• 金额: $ 32.26万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-09-15 至 2000-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9457767&HistoricalAwards=false
• 关键词: NSF; Young; Investigator; Object; Oriented

Object-oriented programming promises to make programs easier to write, easier to extend, and easier to reuse. The Cecil project aims to help object-oriented technology deliver on this promise through integrated language design, implementation, and programming environment research. The Cecil language is a purely object-oriented language which is serving as a vehicle for investigating new language features. Current research includes studying more flexible kinds of method lookup based on symmetric multiple dispatching, investigating the effectiveness of advanced static type systems at expressing practical object-oriented programming problems, and developing new module constructs that support application-specific tailoring of objects. Programming environment support for these and other features of object-oriented languages is crucial for effective use of object-oriented programming styles. Advanced language designs and programming styles only impact practice if efficient implementations are available. The Vortex compiler project is investigating whole-program analysis. Interprocedural analysis of object-oriented programs is the foundation of this work, dynamic profile information is treated as an integral component of the compiler, helping to focus the compiler's efforts on profitable optimizations. Incremental recompilation techniques for object-oriented languages help to keep turn-around time short. The Vortex compiler initially targets the Cecil language, with front-ends for other languages such as C++ planned for the future. The Vortex compiler is written in Cecil itself, providing feedback for the language design research and a realistic benchmark for the compiler research.

面向对象编程承诺使程序更容易编写，更容易扩展，更容易重用。 塞西尔项目旨在通过集成语言设计、实现和编程环境研究，帮助面向对象技术实现这一承诺。 塞西尔语言是一种纯粹面向对象的语言，它是研究新语言特性的工具。 目前的研究包括研究更灵活的方法查找基于对称多重调度，调查先进的静态类型系统在表达实际的面向对象编程问题的有效性，并开发新的模块结构，支持特定于应用程序的裁剪对象。 编程环境对面向对象语言的这些和其他特性的支持对于有效使用面向对象编程风格至关重要。 高级语言设计和编程风格只有在有效实现的情况下才会影响实践。 Vortex编译器项目正在研究整个程序分析。 面向对象程序的过程间分析是这项工作的基础，动态配置文件信息被视为编译器的一个组成部分，有助于集中编译器的努力，有利可图的优化。 面向对象语言的增量重新编译技术有助于缩短周转时间。 Vortex编译器最初以塞西尔语言为目标，并计划在未来开发其他语言（如C++）的前端。 Vortex编译器是用塞西尔自己编写的，为语言设计研究提供了反馈，也为编译器研究提供了一个现实的基准。