A Programming Environment Based on Formal Semantic Models (Computer Research)

基于形式语义模型的编程环境(计算机研究)

基本信息

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

项目摘要

项目成果

期刊论文数量(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 }}

Terrence Pratt其他文献

Program analysis and optimization through kernel-control decomposition
  • DOI:
    10.1007/bf00288882
  • 发表时间:
    1978-09-01
  • 期刊:
  • 影响因子:
    0.500
  • 作者:
    Terrence Pratt
  • 通讯作者:
    Terrence Pratt

Terrence Pratt的其他文献

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

{{ truncateString('Terrence Pratt', 18)}}的其他基金

A Formal Theory of Programming Language Definition
编程语言定义的形式理论
  • 批准号:
    7800763
  • 财政年份:
    1978
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Standard Grant
A Formal Theory of Programming Language Definition
编程语言定义的形式理论
  • 批准号:
    7516858
  • 财政年份:
    1976
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Standard Grant

相似海外基金

The development of programming learning environment based upon a knowledge building collaborative learning environment
基于知识构建协作学习环境的编程学习环境的开发
  • 批准号:
    19K12256
  • 财政年份:
    2019
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Development of a web-based learning environment utilizing constructivist learning theory for Object-oriented programming
利用面向对象编程的建构主义学习理论开发基于网络的学习环境
  • 批准号:
    15K00935
  • 财政年份:
    2015
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Advanced Programming Environment Based on Program Semantics
基于程序语义的高级编程环境
  • 批准号:
    15K00090
  • 财政年份:
    2015
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Support for Programming Education using Web-based Integrated Development Environment
使用基于网络的集成开发环境支持编程教育
  • 批准号:
    26350344
  • 财政年份:
    2014
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Fault tolerant computing based on a multi-SPMD programming/execution environment
基于多SPMD编程/执行环境的容错计算
  • 批准号:
    26730064
  • 财政年份:
    2014
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Development of a web-based learning environment for an executable programming with special reference to low-level I/O.
开发基于网络的可执行编程学习环境,特别参考低级 I/O。
  • 批准号:
    24501069
  • 财政年份:
    2012
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
CCF: Small: A Programming Environment for High Performance Computing Based on Practical Program Transformation
CCF:Small:基于实用程序转换的高性能计算编程环境
  • 批准号:
    1117960
  • 财政年份:
    2011
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Standard Grant
NeTS/NOSS: ASPEN: Abstraction-based Sensor Programming Environment
NeTS/NOSS:ASPEN:基于抽象的传感器编程环境
  • 批准号:
    0721541
  • 财政年份:
    2007
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Continuing Grant
Support Environment for Computer Literacy Education based on Programming Courses
基于编程课程的计算机素养教育支撑环境
  • 批准号:
    18500719
  • 财政年份:
    2006
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Studies on cognitive processes underlying programming learning based on detailed records of learner activities and design of teaching learning environment.
基于学习者活动详细记录和教学环境设计的编程学习认知过程研究。
  • 批准号:
    15300089
  • 财政年份:
    2003
  • 资助金额:
    $ 9.43万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了