Technologies for Lightweight, Generative, Binary Software Components

轻量级、生成式、二进制软件组件技术

• 批准号: 9988307
• 负责人: Samuel Kamin
• 金额: $ 20万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-09-01 至 2004-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9988307&HistoricalAwards=false
• 关键词: Technologies; Lightweight; Generative; Binary; Software

A "software component" is any code that a programmer can use as part of a larger piece of code. Components may be classified along three dimensions: (1) Source-level components are delivered as source code, while binary-level components are delivered as executables. (2) Lightweight components extract little run-time cost, while heavyweight components extract a large run-time cost. (3) Generative components create new code fragments at the time that the component is used, while non-generative components simply copy code from the component. Subroutine and class libraries are binary-level, medium-weight, and non-generative; macros and C++ templates are source-level, lightweight, and generative. Broadly speaking, binary-level components are more convenient, while generative components are more powerful. The goal of this project is to produce a technology for lightweight, generative, binary-level components. It is based on two principles: Higher-order macros, used as a powerful component language, and compositional semantics, to permit macros to be rendered as executables. The goal of the research is to raise the level of programming by allowing programs to be built from more powerful and general components than current component technologies admit.

“软件组件”是程序员可以用作较大代码片段的一部分的任何代码。 组件可以分为沿着三个维度：（1）源代码级组件作为源代码交付，而二进制级组件作为可执行文件交付。 (2)轻量级组件占用很少的运行时开销，而重量级组件占用很大的运行时开销。 (3)生成式组件在使用组件时创建新的代码片段，而非生成式组件只是从组件复制代码。 子例程和类库是二进制级别的，中等权重的，非生成式的;宏和C++模板是源代码级别的，轻量级的，生成式的。 一般来说，二进制级别的组件更方便，而生成式组件更强大。 这个项目的目标是产生一种轻量级的、生成式的、二进制级别的组件技术。 它基于两个原则：高阶宏，用作功能强大的组件语言，以及组合语义，允许宏呈现为可执行文件。 该研究的目标是通过允许程序由比当前组件技术所允许的更强大和更通用的组件构建来提高编程水平。