Multiparadigm Declarative Program

9224005 Meseguer 这项研究将扩展声明式编程的范围，以支持反应式系统应用程序（例如通信软件、操作系统、机器人）和并发面向对象系统。 该研究还将开发一个统一的逻辑框架，作为多范式声明性编程语言的语义基础，该语言统一函数式、关系式和并发面向对象编程，并具有强大的大规模编程机制。 多范式语言将通过扩展 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. ***