A New Programming Language and Environment

新的编程语言和环境

基本信息

  • 批准号:
    8800465
  • 负责人:
  • 金额:
    $ 100.83万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing grant
  • 财政年份:
    1988
  • 资助国家:
    美国
  • 起止时间:
    1988-06-01 至 1992-03-31
  • 项目状态:
    已结题

项目摘要

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.
这个项目试图提高程序开发的艺术水平,特别是科学计算。这项工作包括开发一种新的过程编程语言Polya,开发和改进“Gibbs”风格的程序描述思想,以及实现工作站编程环境。术语“吉布斯”指的是一种程序描述,它应该使编写可理解的科学项目描述变得更容易,这样科学家就可以发表能够并将被其他人阅读的描述。其中一个目标是在软件工程的一个关键领域——程序部分的重用——中提高软件工程的技术水平。这将在一定程度上通过对模块及其在Polya中的使用的新想法来完成。第二个目标是为科学家提供一种语言和环境,以提高他们为超级计算机和其他机器编写软件的效率。康奈尔大学的物理学家和其他科学家的直接参与将确保最终的系统适合他们的使用。该项目由NSF和DARPA共同出资,主要由DARPA出资。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

David Gries其他文献

Two Tagless Variations on the Deutsch-Schorr-Waite Algorithm
Deutsch-Schorr-Waite 算法的两种无标签变体
  • DOI:
    10.1016/0020-0190(86)90024-4
  • 发表时间:
    1986
  • 期刊:
  • 影响因子:
    0.5
  • 作者:
    Mark C. Hamburg;David Gries
  • 通讯作者:
    David Gries
Characterizations of certain classes of norms
  • DOI:
    10.1007/bf02165157
  • 发表时间:
    1967-05-01
  • 期刊:
  • 影响因子:
    2.200
  • 作者:
    David Gries
  • 通讯作者:
    David Gries
The Schorr-Waite graph marking algorithm
  • DOI:
    10.1007/bf00289068
  • 发表时间:
    1979-09-01
  • 期刊:
  • 影响因子:
    0.500
  • 作者:
    David Gries
  • 通讯作者:
    David Gries
General correctness: A unification of partial and total correctness
  • DOI:
    10.1007/bf00290146
  • 发表时间:
    1985-04-01
  • 期刊:
  • 影响因子:
    0.500
  • 作者:
    Dean Jacobs;David Gries
  • 通讯作者:
    David Gries
Describing an algorithm by Hopcroft
  • DOI:
    10.1007/bf00264025
  • 发表时间:
    1973-06-01
  • 期刊:
  • 影响因子:
    0.500
  • 作者:
    David Gries
  • 通讯作者:
    David Gries

David Gries的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('David Gries', 18)}}的其他基金

BPC-DP: Worlds for Information Technology and Science (WITS)
BPC-DP:信息技术和科学世界 (WITS)
  • 批准号:
    0634418
  • 财政年份:
    2007
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Standard Grant
IFIP Workshop (PROCOMET'98): June 18-22, 1998, Long Island, NY
IFIP 研讨会 (PROCOMET98):1998 年 6 月 18-22 日,纽约长岛
  • 批准号:
    9714755
  • 财政年份:
    1998
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Standard Grant
Software Engineering with a Transformational System
具有转型系统的软件工程
  • 批准号:
    9503319
  • 财政年份:
    1995
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Continuing grant
Development of a Teaching Laboratory for an Introductory Programming Course
编程入门课程教学实验室的开发
  • 批准号:
    9451507
  • 财政年份:
    1994
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Standard Grant
CISE Educational Infrastructure: Revitalizing the Computer Science Curriculum
CISE 教育基础设施:重振计算机科学课程
  • 批准号:
    9214957
  • 财政年份:
    1992
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Standard Grant
Coordinated Experimental Research on Systems for Constructing and Manipulating Complex Objects
构建和操纵复杂物体的系统的协调实验研究
  • 批准号:
    8521394
  • 财政年份:
    1986
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Continuing grant
Acquisition of Equipment for Computer Research
购置计算机研究设备
  • 批准号:
    8505451
  • 财政年份:
    1985
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Standard Grant
Development and Implementation of a New Language
新语言的开发和实现
  • 批准号:
    8320274
  • 财政年份:
    1984
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Continuing Grant
Programming Methodology
编程方法论
  • 批准号:
    8103605
  • 财政年份:
    1981
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Continuing Grant
Travel to Attend: 4th International Conference on Software Engineering; Munich, West Germany; Sept 17-19, 1979
出差参加:第四届软件工程国际会议;
  • 批准号:
    7916660
  • 财政年份:
    1979
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Standard Grant

相似海外基金

CAREER: The Rational Programmer, An Investigative Method for Programming Language Pragmatics
职业:理性程序员,编程语言语用学的一种研究方法
  • 批准号:
    2237984
  • 财政年份:
    2023
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Continuing Grant
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLMW@PLDI), 2023-2025
NSF 学生旅费补助金,用于 ACM SIGPLAN 编程语言设计与实现会议 (PLMW@PLDI) 编程语言指导研讨会,2023-2025 年
  • 批准号:
    2310964
  • 财政年份:
    2023
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Standard Grant
Mutation Analysis for Software Testing of Programs Written in the Rust Programming Language
Rust 编程语言编写的程序软件测试的变异分析
  • 批准号:
    2894791
  • 财政年份:
    2023
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Studentship
Developing a programming language for automatic synthesis of assurance cases
开发用于自动合成保证案例的编程语言
  • 批准号:
    23H03376
  • 财政年份:
    2023
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
The Game Semantics of the Rust Programming Language
Rust 编程语言的游戏语义
  • 批准号:
    2742896
  • 财政年份:
    2022
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Studentship
Validating the type soundness of a programming language through translation into a logical system
通过翻译成逻辑系统来验证编程语言的类型健全性
  • 批准号:
    22K11902
  • 财政年份:
    2022
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis
协作研究:FMitF:第一轨:通过语言设计和综合进行 CAD 系统的最终用户编程
  • 批准号:
    2219865
  • 财政年份:
    2022
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis
协作研究:FMitF:第一轨:通过语言设计和综合进行 CAD 系统的最终用户编程
  • 批准号:
    2219864
  • 财政年份:
    2022
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Standard Grant
Programming Language Type Systems and Concurrency
编程语言类型系统和并发性
  • 批准号:
    RGPIN-2020-03908
  • 财政年份:
    2022
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Discovery Grants Program - Individual
New Programming Language and Runtime System
新的编程语言和运行时系统
  • 批准号:
    537903-2018
  • 财政年份:
    2021
  • 资助金额:
    $ 100.83万
  • 项目类别:
    Collaborative Research and Development Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了