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

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

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.