Multiparadigm Declarative Program

多范式声明式程序

• 批准号: 9224005
• 负责人: Jose Meseguer
• 金额: $ 12.85万
• 依托单位: SRI International
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-08-15 至 1996-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9224005&HistoricalAwards=false
• 关键词: Multiparadigm; Declarative; Program

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

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