Multiparadigm Declarative Program

[224005] Meseguer这项研究将扩展声明式编程的范围，以支持响应式系统应用程序（例如，通信软件、操作系统、机器人）和并发面向对象系统。该研究还将开发一个统一的逻辑框架，作为多范式声明性编程语言的语义基础，该语言将功能、关系和并发面向对象编程统一起来，并具有强大的大型编程机制。多范式语言将通过扩展OBJ3语言的当前实现来实现，OBJ3语言将作为一种功能子语言包含在内。用于设计多范式语言的方法基于一般逻辑的公理理论，该理论允许通过保留这些逻辑结构的映射来组合支持不同风格的声明性编程的逻辑。这种映射的示例包括子逻辑包含和逻辑之间的转换。这项研究的结果将提供新的方法，用于在高抽象层次上指定、编程和推理反应性和并发的面向对象系统，以及用于重用这些系统以提高软件生产力，以及支持这些方法的语言实现。这些结果也将有助于并发面向对象编程的数学基础。* * *

9224005 Meseguer This research will extend the scope of declarative programming to support reactive system applications (e.g., communications software, operating systems, robotics) and concurrent object-oriented systems. The research will also develop a unified logical framework as the semantics basis for a multiparadigm declarative programming language unifying functional, relational, and concurrent object- oriented programming, and having powerful mechanisms for programming-in-the-large. The multiparadigm language will be implemented by extending the current implementation of the OBJ3 language which will be included as a functional sub language. The methods used to design the multiparadigm language are based on an axiomatic theory of general logics that permits combining logics supporting different styles of declarative programming by means of mappings preserving the structure of these logics. Examples of such mappings include sub logic inclusions and translations between logics. The results of this research will provide new methods for specifying, programming and reasoning about reactive and concurrent object-oriented systems at a high level of abstraction, and for reusing such systems to increase software productivity, as well as a language implementation supporting these methods. The results will also contribute to the mathematical foundations of concurrent object- oriented programming. ***