刷新
{{item.name}}会员
Formal Semantics of Programming Languages
编程语言的形式语义
基本信息
- 批准号：7506678
- 负责人：
- 金额：$ 8.7万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1975
- 资助国家：美国
- 起止时间：1975-09-15 至 1980-02-29
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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
- 资助金额：
$ 8.7万 - 项目类别：
Continuing Grant
ITR: Controlling Software Complexity with Aspects and Analysis
ITR：通过方面和分析控制软件复杂性
- 批准号：
0312598 - 财政年份：2003
- 资助金额：
$ 8.7万 - 项目类别：
Standard Grant
Semantics of Implicit Procedure-Calling Mechanisms
隐式过程调用机制的语义
- 批准号：
0097740 - 财政年份：2001
- 资助金额：
$ 8.7万 - 项目类别：
Standard Grant
Analysis-Based Program Transformation
基于分析的程序转换
- 批准号：
9804115 - 财政年份：1998
- 资助金额：
$ 8.7万 - 项目类别：
Continuing grant
Heap Storage Optimizations and Their Semantics in Higher-Order Languages
高阶语言中的堆存储优化及其语义
- 批准号：
9629801 - 财政年份：1997
- 资助金额：
$ 8.7万 - 项目类别：
Continuing grant
Formal Verification of Compiler Algorithms
编译器算法的形式验证
- 批准号：
9014603 - 财政年份：1991
- 资助金额：
$ 8.7万 - 项目类别：
Continuing grant
相似海外基金
SHF: SMALL: A New Semantics for Type-Level Programming in Haskell
SHF：SMALL：Haskell 中类型级编程的新语义
- 批准号：
2345580 - 财政年份：2024
- 资助金额：
$ 8.7万 - 项目类别：
Standard Grant
Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic
旅行：2023 年俄勒冈编程语言暑期学校：类型、语义和逻辑
- 批准号：
2329771 - 财政年份：2023
- 资助金额：
$ 8.7万 - 项目类别：
Standard Grant
Semantics and Implementation of Probabilistic Programming Languages
概率编程语言的语义和实现
- 批准号：
RGPIN-2021-02734 - 财政年份：2022
- 资助金额：
$ 8.7万 - 项目类别：
Discovery Grants Program - Individual
The Game Semantics of the Rust Programming Language
Rust 编程语言的游戏语义
- 批准号：
2742896 - 财政年份：2022
- 资助金额：
$ 8.7万 - 项目类别：
Studentship
Travel: Oregon Programming Languages Summer School 2022: Types, Semantics, and Program Reasoning
旅行：2022 年俄勒冈编程语言暑期学校：类型、语义和程序推理
- 批准号：
2227189 - 财政年份：2022
- 资助金额：
$ 8.7万 - 项目类别：
Standard Grant
Semantics and Implementation of Probabilistic Programming Languages
概率编程语言的语义和实现
- 批准号：
DGECR-2021-00151 - 财政年份：2021
- 资助金额：
$ 8.7万 - 项目类别：
Discovery Launch Supplement
Semantics and Implementation of Probabilistic Programming Languages
概率编程语言的语义和实现
- 批准号：
RGPIN-2021-02734 - 财政年份：2021
- 资助金额：
$ 8.7万 - 项目类别：
Discovery Grants Program - Individual
EAGER: Semantics for Learning Functional Programming
EAGER：学习函数式编程的语义
- 批准号：
1803362 - 财政年份：2018
- 资助金额：
$ 8.7万 - 项目类别：
Standard Grant
2016 Oregon Programming Languages Summer School (OPLSS) on Types, Logic, Semantics, and Verification
2016 年俄勒冈编程语言暑期学校 (OPLSS) 关于类型、逻辑、语义和验证
- 批准号：
1640457 - 财政年份：2016
- 资助金额：
$ 8.7万 - 项目类别：
Standard Grant
2015 Oregon Programming Languages Summer School (OPLSS) on Types, Logic, Semantics, and Verification
2015 年俄勒冈编程语言暑期学校 (OPLSS) 关于类型、逻辑、语义和验证
- 批准号：
1544215 - 财政年份：2015
- 资助金额：
$ 8.7万 - 项目类别：
Standard Grant