Advanced Languages for Scientific Computation Environments

科学计算环境的高级语言

• 批准号: 9706572
• 负责人: Guy Blelloch
• 金额: $ 159.43万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-09-15 至 2002-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9706572&HistoricalAwards=false
• 关键词: Advanced; Languages; Scientific; Computation; Environments

The goal of the project is to demonstrate the feasibility of a broad-based language for scientific and engineering computation. Such a language should serve equally well for developing production scientific code (which is now typically written in FORTRAN or C) and as the scripting language for interactive scientific computing environments (such as Mathematica or Matlab). This breadth would greatly simplify the development of code by allowing a clean transition from prototyping and small- scale experiments to full production code, and would better support the evolution of production code. As a broad-based language it should support both numerical and symbolic computation, should include constructs r parallel programming, and should include the high-level language features found in systems such as Mathematica (e.g. pattern matching, higher-order functions, and automatic memory management). The project involves demonstrating that it is possible to support these features while maintaining good code efficiency. As such, the project includes work on compiler techniques, on language design, on the development of scientific codes, and experimentation on the codes using the compiler and language. The project is using ML extended with the parallel constructs from NESL as a testbed.

该项目的目的是证明一种基于广泛的语言对科学和工程计算的可行性。 这样的语言应适用于制定生产科学法规（现在通常用fortran或c编写），以及用于交互式科学计算环境（例如Mathematica或Matlab）的脚本语言。 通过允许从原型制作和小规模实验到完整生产代码的清洁过渡，这将极大地简化代码的开发，并更好地支持生产代码的演变。 作为一种基于广泛的语言，它应该支持数值和符号计算，应包括平行编程的构造，并应包括在Mathematica（例如模式匹配，高阶函数和自动内存管理）中发现的高级语言功能。 该项目涉及证明可以在保持良好的代码效率的同时支持这些功能。 因此，该项目包括编译器技术，语言设计，科学法规的开发以及使用编译器和语言对代码进行实验的工作。 该项目正在使用NESL的并行构建体作为测试床扩展。