RUI: Design of Object-Oriented Programming Languages

NSF研究提案编号：CCR-9988210 PI姓名：布鲁斯，金B。PI机构：威廉姆斯学院标题：RUI：面向对象编程语言的设计本研究的总体目标是改进静态类型编程语言，特别是面向对象编程语言的设计。 未来三年的主要项目包括：1.巩固和传播OO语言设计、类型理论和语义学的知识，完成一本介绍该领域最新研究成果的专著。2.研究语言功能设计中的进一步问题，特别是面向对象的语言。 3.研究面向对象语言的类型化中间语言和其他实现策略。我们打算继续使用LOOM语言作为进一步研究支持面向对象语言特性的最佳方法的测试平台，同时也研究如何使用这些思想中的最佳思想来增强真实的语言，如Java及其后继者。

NSF Research Proposal Number: CCR-9988210PI Name: Bruce, Kim B.PI Institution: Williams CollegeTitle: RUI: Design of Object-Oriented Programming LanguagesThe overall goal of this research is to improve the design ofstatically typed programming languages, especially object-orientedprogramming languages. The main projects for the next three yearsinclude the following: 1. Consolidating and disseminating knowledge of OO language design,type theory, and semantics, by completing a monograph presenting the results of recent research in this area. 2. Investigating further issues in the design of language featuresfor programming in the large, especially with object-orientedlanguages. 3. Investigating typed intermediate languages and otherimplementation strategies for object-oriented languages.We intend to continue using the language LOOM as a test bed for furtherinvestigations into the best way to support features ofobject-oriented languages, while also investigating how to use thebest of these ideas to enhance real languages like Java and itssuccessors.