Programming-in-the-Large for New Paradigm and Multi-ParadigmProgramming Languages

新范式和多范式编程语言的大规模编程

• 批准号: 8707155
• 负责人: Jose Meseguer
• 金额: $ 32.64万
• 依托单位: SRI International
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-07-15 至 1990-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8707155&HistoricalAwards=false
• 关键词: Programming; Large; New; Paradigm; Multi

Programming-in-the-large is concerned with how to combine relatively small software components into larger, meaningful wholes, in order to meet particular requirements for functionality and performance with minimal programming effort. Techniques for programming-in-the-large are important because of their potential for reducing the enormous cost of writing, debugging, and maintaining software, especially for very large systems. This research will explore languages and environments supporting programming-in-the-large for object-oriented, logic, and functional programming as well as their combinations, with some consideration of requirements for execution on parallel architectures. The project will build upon previous research on abstract data types, on multiparadigm programming (e.g., Eqlog, which unifies functional and logic programming, and FOOPS, which unifies functional and object- oriented programming) on "logical" programming, and on parameterized programming and reusable software for environments (OBJ2), and for ordinary imperative languages. Programming systems are growing larger and more complex. This research is aimed at establishing the ability to properly manage the construction and maintenance of enormous systems of programs.

大型编程关注的是如何将相对较小的软件组件组合成更大的、有意义的整体，以便以最小的编程努力满足对功能和性能的特定需求。大型编程技术非常重要，因为它们有可能减少编写、调试和维护软件的巨大成本，特别是对于非常大的系统。本研究将探索支持面向对象、逻辑和函数式编程的大型编程的语言和环境，以及它们的组合，同时考虑在并行架构上执行的需求。该项目将建立在先前对抽象数据类型、多范式编程（例如，统一了功能和逻辑编程的Eqlog，以及统一了功能和面向对象编程的FOOPS）、“逻辑”编程、参数化编程和环境可重用软件（OBJ2）的研究基础之上。对于普通的命令式语言。编程系统正变得越来越大，越来越复杂。本研究旨在建立适当管理庞大程序系统的建设和维护的能力。