RUI: Design of Object-Oriented Programming Languages

RUI：面向对象编程语言的设计

• 批准号: 9870253
• 负责人: Kim Bruce
• 金额: $ 10.4万
• 依托单位: Williams College
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-07-01 至 2001-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9870253&HistoricalAwards=false
• 关键词: RUI; Design; Object; Oriented; Programming

9870253 The goal of this grant is the development of very expressive, yet provably statically type-safe, object oriented programming languages. The following topics will be the main focus of this work: (1) The design of module systems for object-oriented programming languages. The module system will be designed and implemented as an extension of the language LOOM. (2) The application of the knowledge learned in the design of LOOM to extend the expressiveness of Java by adding a "ThisType" construct and parametric polymorphism. This work will include adding a generalization of the ThisType construct to support the equivalent of Beta's virtual types in a type-safe way. (3) The development of materials to better communicate the results of recent work on the foundations of object-oriented languages to a broader audience. (4) The extension of preliminary work on the design of a statically-typed concurrent object-oriented language. Major problems to be solved include reserving objects during method calls and providing more robust constructs to make it easier to avoid deadlock. Techniques for investigating all of these areas include both formal methods (e.g., proofs of type safety) as well as the construction of interpreters and/or compilers to support experimentation with the new languages and designs.***

9870253 这项资助的目标是开发非常具有表现力、但可证明静态类型安全、面向对象的编程语言。以下主题将是这项工作的主要焦点：（1）面向对象编程语言的模块系统的设计。 该模块系统将作为LOOM语言的扩展来设计和实现。 (2)应用在LOOM设计中学到的知识，通过添加“ThisType”构造和参数多态性来扩展Java的表达能力。这项工作将包括添加 ThisType 构造的泛化，以类型安全的方式支持 Beta 虚拟类型的等效项。 (3) 开发材料，以便更好地将面向对象语言基础上的最新工作成果传达给更广泛的受众。 (4)静态类型并发面向对象语言设计前期工作的扩展。 要解决的主要问题包括在方法调用期间保留对象以及提供更健壮的构造以更容易避免死锁。 研究所有这些领域的技术包括形式方法（例如类型安全证明）以及解释器和/或编译器的构造以支持新语言和设计的实验。***