RUI: Modules and Parallel Specialization of Object Types

RUI：对象类型的模块和并行专业化

• 批准号: 0306486
• 负责人: Kim Bruce
• 金额: $ 20.69万
• 依托单位: Williams College
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-07-01 至 2006-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0306486&HistoricalAwards=false
• 关键词: RUI; Modules; Parallel; Specialization; Object

0306486 Kim B. Bruce Williams CollegeRUI: Modules and Parallel Specialization of Object Types The goal of this research is to improve the design of statically-typed object-oriented programming languages, especially with regard to issues of programming in the medium to large scale. Research will focus on: 1. Module systems for object-oriented languages: Modules provide support for organizing code, abstraction barriers to hide information, and support for separate compilation. However, current module systems lack the flexibility to capture a number of common ways in which to design programs in object-oriented languages. 2. Simultaneous modification of mutually recursive types and classes: This research will develop ways to support incremental modification of mutually recursive types while preserving type safety and important relations between types and classes. 3. Typed intermediate languages and virtual machines for object-oriented languages: Run-time systems like the target virtual machines for Java and C# lack support for advanced object-oriented languages and module systems. Exploring compilation techniques and virtual machines to support these features is necessary to ensure their eventual adoption. This research will continue using LOOM as a test bed for further investigations into the best way to support features of object-oriented languages, while also investigating how to use the best of these ideas to enhance real languages like Java and its successors.

0306486 Kim B. Bruce Williams CollegeRUI：对象类型的模块和并行专业化 这项研究的目标是改进静态类型面向对象编程语言的设计，特别是在中大规模编程问题方面。研究将集中在： 1.面向对象语言的模块系统：模块提供对组织代码的支持、隐藏信息的抽象障碍以及对单独编译的支持。然而，当前的模块系统缺乏灵活性来捕获用面向对象语言设计程序的许多常见方法。 2. 相互递归类型和类的同时修改：本研究将开发支持相互递归类型增量修改的方法，同时保留类型安全以及类型和类之间的重要关系。 3.类型化中间语言和面向对象语言的虚拟机：像Java和C#的目标虚拟机这样的运行时系统缺乏对高级面向对象语言和模块系统的支持。探索编译技术和虚拟机来支持这些功能对于确保它们的最终采用是必要的。 这项研究将继续使用 LOOM 作为测试平台，进一步研究支持面向对象语言功能的最佳方式，同时还研究如何利用这些想法中的最佳内容来增强 Java 及其后继者等真实语言。