A object-oriented programming language for robust software

面向对象编程是学术和工业环境中用于通用高级编程的主要范例。然而，基于面向对象技术的软件生产链并没有充分考虑到一些具体的软件工程问题。 在我们的提案“面向对象的健壮软件编程语言”中，我们计划研究面向对象编程语言的改进，以解决其中一些关键的软件工程问题。例如，在Reflex系统的开发期间，Java的高响应性任务编程框架、Java内存模型及其缺乏隔离性是一个主要问题，迫使我们严格限制线程通信中的数据类型。我们还在开发解决方案，以解决空指针错误、与其他软件组件的接口以及面向对象语言中缺乏隔离的问题。 为了从实验上验证我们的解决方案，我们将开发Java语言的一些变体。我们还打算将更基本的建议纳入我们目前正在积极开发的国家信息技术项目(http://www.nitlanguage.org))，并将被用作整合新的执行技术和新的编程语言设计的框架(其中PRM仅侧重于执行技术)，这要归功于内部和外部的合作(uqam、lirmm)。

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