刷新
{{item.name}}会员
Semantics of Computation
计算语义
基本信息
- 批准号：8605218
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-03-01 至 1988-08-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 }}
Mitchell Wand其他文献
Revised Report on the Algorithmic Language Scheme
算法语言方案修订报告
- DOI：
- 发表时间：
1998 - 期刊：
- 影响因子：0
- 作者：
Harold Abelson;R. Dybvig;C. T. Haynes;G. Rozas;IV N.I.Adams;Daniel P. Friedman;E. Kohlbecker;Guy L. Steele;D. H. Bartley;Robert H. Halstead;Don Oxley;Gerald J. Sussman;G. Brooks;Chris Hanson;Kent M. Pitman;Mitchell Wand - 通讯作者：
Mitchell Wand
Boolean-valued loops
- DOI：
10.1007/bf01931683 - 发表时间：
1975-12-01 - 期刊：
- 影响因子：1.700
- 作者：
David S. Wise;Daniel P. Friedman;Stuart C. Shapiro;Mitchell Wand - 通讯作者：
Mitchell Wand
Mitchell Wand的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Mitchell Wand', 18)}}的其他基金
CPA-SEL: Developing a Theory of Hygienic Macros
CPA-SEL：发展宏观卫生理论
- 批准号：
0811015 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Continuing Grant
ITR: Controlling Software Complexity with Aspects and Analysis
ITR：通过方面和分析控制软件复杂性
- 批准号：
0312598 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Standard Grant
Semantics of Implicit Procedure-Calling Mechanisms
隐式过程调用机制的语义
- 批准号：
0097740 - 财政年份：2001
- 资助金额：
-- - 项目类别：
Standard Grant
Heap Storage Optimizations and Their Semantics in Higher-Order Languages
高阶语言中的堆存储优化及其语义
- 批准号：
9629801 - 财政年份：1997
- 资助金额：
-- - 项目类别：
Continuing grant
Formal Verification of Compiler Algorithms
编译器算法的形式验证
- 批准号：
9014603 - 财政年份：1991
- 资助金额：
-- - 项目类别：
Continuing grant
相似国自然基金
基于分位数g-computation的多污染物联合空气质量健康指数构建及预测效果评价
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于g-computation控制纵向数据未测混杂因素的因果推断模型构建及应用研究
- 批准号：81903416
- 批准年份：2019
- 资助金额：19.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Studying resource-limited computation from a semantic angle, utilising the differential lambda-calculus along with quantitative semantics
利用微分 lambda 演算和定量语义，从语义角度研究资源有限计算
- 批准号：
1893511 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Studentship
Polarized logics, geometry of proofs, and semantics of computation
极化逻辑、证明几何和计算语义
- 批准号：
8544-2006 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of proofs, and semantics of computation
极化逻辑、证明几何和计算语义
- 批准号：
8544-2006 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of proofs, and semantics of computation
极化逻辑、证明几何和计算语义
- 批准号：
8544-2006 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Discovery Grants Program - Individual
Categorical semantics for computation and communication
计算和通信的分类语义
- 批准号：
46749-2004 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Discovery Grants Program - Individual
NETWORK: Semantics of Quantum Computation
网络：量子计算的语义
- 批准号：
EP/E006833/2 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grant
Feynman Diagrams and the Semantics of Quantum Computation
费曼图和量子计算的语义
- 批准号：
0653646 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Standard Grant
Categorical semantics for computation and communication
计算和通信的分类语义
- 批准号：
46749-2004 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of proofs, and semantics of computation
极化逻辑、证明几何和计算语义
- 批准号：
8544-2006 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of proofs, and semantics of computation
极化逻辑、证明几何和计算语义
- 批准号：
8544-2006 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Discovery Grants Program - Individual