RUI: Design of Object-Oriented Programming Languages

9870253这个补助金的目标是非常有表现力的，但可证明静态类型安全，面向对象的编程语言的发展。本论文的主要研究内容如下：（1）面向对象程序设计语言的模块系统设计。 该模块系统将作为LOOM语言的扩展来设计和实现。 (2)在LOOM的设计中学习到的知识的应用，通过添加“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.***