RUI: Design of Object-Oriented Programming Languages

9870253这笔赠款的目标是开发非常有表现力的、但可以证明是静态类型安全的、面向对象的编程语言。(1)面向对象程序设计语言的模块系统设计。该模块系统将作为语言织机的扩展而设计和实施。(2)将所学知识应用于织机设计中，通过增加“thistype”结构和参数多态来扩展Java语言的表现力。这项工作将包括添加thistype构造的泛化，以类型安全的方式支持Beta的虚类型的等价物。(3)编写材料，以便更好地向更广泛的受众传达最近关于面向对象语言基础的工作成果。(4)静态类型并发面向对象语言设计前期工作的扩展。要解决的主要问题包括在方法调用期间保留对象，以及提供更健壮的构造以使其更容易避免死锁。调查所有这些领域的技术包括正式方法(例如，类型安全的证明)以及构造解释器和/或编译器以支持新语言和设计的实验。

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.***