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)