刷新
{{item.name}}会员
A Formal Theory of Programming Language Definition
编程语言定义的形式理论
基本信息
- 批准号：7516858
- 负责人：
- 金额：$ 5.55万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1976
- 资助国家：美国
- 起止时间：1976-01-15 至 1978-06-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 Programming Environment Based on Formal Semantic Models (Computer Research)
基于形式语义模型的编程环境（计算机研究）
- 批准号：
8502881 - 财政年份：1985
- 资助金额：
$ 5.55万 - 项目类别：
Continuing Grant
A Formal Theory of Programming Language Definition
编程语言定义的形式理论
- 批准号：
7800763 - 财政年份：1978
- 资助金额：
$ 5.55万 - 项目类别：
Standard Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号：24ZR1403900
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
- 批准号：12247163
- 批准年份：2022
- 资助金额：18.00 万元
- 项目类别：专项项目
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
- 批准号：
- 批准年份：2022
- 资助金额：55 万元
- 项目类别：
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
- 批准号：12126512
- 批准年份：2021
- 资助金额：12.0 万元
- 项目类别：数学天元基金项目
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
- 批准号：61671064
- 批准年份：2016
- 资助金额：65.0 万元
- 项目类别：面上项目
相似海外基金
Theory and Application for Robust and High-Performance Systems Programming Languages
鲁棒高性能系统编程语言的理论与应用
- 批准号：
22KJ0561 - 财政年份：2023
- 资助金额：
$ 5.55万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Bilinear Mixed-Integer Programming: Theory and Applications
双线性混合整数规划：理论与应用
- 批准号：
532673-2019 - 财政年份：2022
- 资助金额：
$ 5.55万 - 项目类别：
Postgraduate Scholarships - Doctoral
Multi-Stage Programming with Dependent Types: Theory and Implementation
具有依赖类型的多阶段编程：理论与实现
- 批准号：
22H03563 - 财政年份：2022
- 资助金额：
$ 5.55万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Bilinear Mixed-Integer Programming: Theory and Applications
双线性混合整数规划：理论与应用
- 批准号：
532673-2019 - 财政年份：2021
- 资助金额：
$ 5.55万 - 项目类别：
Postgraduate Scholarships - Doctoral
Advancing theory and tools for molecular programming
推进分子编程的理论和工具
- 批准号：
RGPIN-2016-04240 - 财政年份：2021
- 资助金额：
$ 5.55万 - 项目类别：
Discovery Grants Program - Individual
Theory and algorithms for ill-conditioned conic linear programming
病态二次曲线线性规划的理论与算法
- 批准号：
20H04145 - 财政年份：2020
- 资助金额：
$ 5.55万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Advancing theory and tools for molecular programming
推进分子编程的理论和工具
- 批准号：
RGPIN-2016-04240 - 财政年份：2020
- 资助金额：
$ 5.55万 - 项目类别：
Discovery Grants Program - Individual
Bilinear Mixed-Integer Programming: Theory and Applications
双线性混合整数规划：理论与应用
- 批准号：
532673-2019 - 财政年份：2019
- 资助金额：
$ 5.55万 - 项目类别：
Postgraduate Scholarships - Doctoral
Advancing theory and tools for molecular programming
推进分子编程的理论和工具
- 批准号：
RGPIN-2016-04240 - 财政年份：2019
- 资助金额：
$ 5.55万 - 项目类别：
Discovery Grants Program - Individual
Construction of Control Theory for Positive Systems Using Conic Programming
利用圆锥规划构建正系统控制理论
- 批准号：
18K04200 - 财政年份：2018
- 资助金额：
$ 5.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)