A object-oriented programming language for robust software

用于强大软件的面向对象编程语言

• 批准号: 356066-2010
• 负责人: Privat, Jean
• 金额: $ 1.09万
• 依托单位: Université du Québec à Montréal
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=572734
• 关键词: object; oriented; programming; language; robust

Object-oriented programming is the dominant paradigm used for general-purpose high-level programming in academic and industrial environments. However, some specific software engineering issues are not sufficiently taken into account by software production chains based on object-oriented technologies. In our proposal "An Object-Oriented Programming Language for Robust Software", we plan to investigate improvements to object-oriented programming languages to address some of those key software engineering issues. For instance, during the development of the Reflex system, a highly responsive task programming framework for Java, the Java memory model and its lack of isolation was a main concern, forcing us to severely restrict data types in thread communication. We are also developing solutions to address the problem of null pointer errors, interface with other software components, and lack of isolation in object-oriented languages. To experimentally validate our solution, we will develop some variations of the Java language. We also intend to integrate more fundamental proposals in our Nit project that is currently actively developed (http://www.nitlanguage.org) and will be used as a framework for the integration of new implementation techniques and new programming language designs (where PRM focused only implementation techniques) thanks to internal and external collaboration (UQAM, LIRMM).

面向对象编程是学术和工业环境中用于通用高级编程的主导范式。然而，一些特定的软件工程问题没有充分考虑到基于面向对象技术的软件生产链。 在我们的提案“面向对象的编程语言的健壮的软件”，我们计划研究改进面向对象的编程语言，以解决一些关键的软件工程问题。例如，在开发Reflex系统（Java的一个高度响应的任务编程框架）的过程中，Java内存模型及其缺乏隔离是一个主要问题，迫使我们严格限制线程通信中的数据类型。我们还在开发解决方案，以解决空指针错误、与其他软件组件的接口以及面向对象语言中缺乏隔离的问题。 为了通过实验验证我们的解决方案，我们将开发Java语言的一些变体。我们还打算在我们的Nit项目中集成更多的基本建议，该项目目前正在积极开发（www.nitlanguage.org），并将作为一个框架，用于集成新的实现技术和新的编程语言设计（其中PRM只关注实现技术），这要归功于内部和外部的合作（UQAM，LIRMM）。