A New Programming Language and Environment
A New Programming Language and Environment
批准号:
8800465
负责人:
David Gries
金额:
$100.83万
依托单位:
依托单位国家:
美国
项目类别:
Continuing grant
财政年份:
1988
资助国家:
美国
项目状态:
已结题
起止时间:
1988-06-01 至 1992-03-31
中文摘要
这个项目试图提高程序开发的艺术水平,特别是科学计算。这项工作包括开发一种新的过程编程语言Polya,开发和改进“Gibbs”风格的程序描述思想,以及实现工作站编程环境。术语“吉布斯”指的是一种程序描述,它应该使编写可理解的科学项目描述变得更容易,这样科学家就可以发表能够并将被其他人阅读的描述。其中一个目标是在软件工程的一个关键领域——程序部分的重用——中提高软件工程的技术水平。这将在一定程度上通过对模块及其在Polya中的使用的新想法来完成。第二个目标是为科学家提供一种语言和环境,以提高他们为超级计算机和其他机器编写软件的效率。康奈尔大学的物理学家和其他科学家的直接参与将确保最终的系统适合他们的使用。该项目由NSF和DARPA共同出资,主要由DARPA出资。
英文摘要
This project is an attempt to improve the state of the art in the development of programs, particularly for scientific computing. The work includes the development of a new procedural programming language, Polya, the development and refinement of ideas on program description in the `Gibbs' style, and the implementation of a workstation programming environment. The term `Gibbs' denotes a program description that should make it easier to write understandable descriptions of scientific programs, so that scientists can publish descriptions that can and will be read by others. One goal is to improve the state of the art of software engineering in one of its crucial areas, the re-use of program parts. This will be done, in part, through new ideas on modules and their use in Polya. A second goal is to provide scientists with a language and environment that will increase their effectivity in writing software for supercomputers and other machines. Direct involvement of physicists and other scientists at Cornell will ensure that the resulting system is suitable for their use. This project is split funded between NSF and DARPA, with the major contribution coming from DARPA.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
BPC-DP: Worlds for Information Technology and Science (WITS)
-
批准号:0634418
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:David Gries
-
依托单位:
IFIP Workshop (PROCOMET'98): June 18-22, 1998, Long Island, NY
-
批准号:9714755
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:David Gries
-
依托单位:
Software Engineering with a Transformational System
-
批准号:9503319
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1995
-
负责人:David Gries
-
依托单位:
Development of a Teaching Laboratory for an Introductory Programming Course
-
批准号:9451507
-
项目类别:Standard Grant
-
资助金额:$7.5万
-
财政年份:1994
-
负责人:David Gries
-
依托单位:
CISE Educational Infrastructure: Revitalizing the Computer Science Curriculum
-
批准号:9214957
-
项目类别:Standard Grant
-
资助金额:$20.13万
-
财政年份:1992
-
负责人:David Gries
-
依托单位:
Coordinated Experimental Research on Systems for Constructing and Manipulating Complex Objects
-
批准号:8521394
-
项目类别:Continuing grant
-
资助金额:$359.03万
-
财政年份:1986
-
负责人:David Gries
-
依托单位:
Acquisition of Equipment for Computer Research
-
批准号:8505451
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1985
-
负责人:David Gries
-
依托单位:
Development and Implementation of a New Language
-
批准号:8320274
-
项目类别:Continuing Grant
-
资助金额:$44.37万
-
财政年份:1984
-
负责人:David Gries
-
依托单位:
Programming Methodology
-
批准号:8103605
-
项目类别:Continuing Grant
-
资助金额:$34.65万
-
财政年份:1981
-
负责人:David Gries
-
依托单位:
Travel to Attend: 4th International Conference on Software Engineering; Munich, West Germany; Sept 17-19, 1979
-
批准号:7916660
-
项目类别:Standard Grant
-
资助金额:$0.09万
-
财政年份:1979
-
负责人:David Gries
-
依托单位:
Programming Methodology and Programming Language Design
-
批准号:7622360
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1977
-
负责人:David Gries
-
依托单位:
海外基金