刷新
{{item.name}}会员
Implementation of an Efficient Reducer for Lambda Expressions
Lambda 表达式的高效缩减器的实现
基本信息
- 批准号：8603453
- 负责人：
- 金额：$ 11.58万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-07-01 至 1988-12-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 }}
Andrew Appel其他文献
Andrew Appel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Andrew Appel', 18)}}的其他基金
Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods
合作研究：FMitF：第一轨：形式验证的数值方法
- 批准号：
2219757 - 财政年份：2022
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
SHF: Small: VeriFFI -- Formally Verified Functional+C programs
SHF：小型：VeriFFI——经过正式验证的函数式 C 程序
- 批准号：
2005545 - 财政年份：2020
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
合作研究：计算探索：深度规范的科学
- 批准号：
1521602 - 财政年份：2015
- 资助金额：
$ 11.58万 - 项目类别：
Continuing Grant
SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages
SHF：媒介：协作研究：依赖类型语言的原则优化编译
- 批准号：
1407794 - 财政年份：2014
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
TC: Large:Collaborative Research: Combining Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software
TC：大型：协作研究：结合基础和轻量级形式方法来构建可证明可靠的软件
- 批准号：
0910448 - 财政年份：2009
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
End-to-end source-to-object verification of interface safety
接口安全的端到端源到对象验证
- 批准号：
0540914 - 财政年份：2006
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
Collaborative Research: High-Assurance Common Language Runtime
协作研究：高保证的公共语言运行时
- 批准号：
0208601 - 财政年份：2002
- 资助金额：
$ 11.58万 - 项目类别：
Continuing Grant
Applying Compiler Techniques to Proof-Carrying Code
将编译器技术应用于证明代码
- 批准号：
9974553 - 财政年份：1999
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
Framework, Algorithms, and Applications for Cross-Module Inlining
跨模块内联的框架、算法和应用
- 批准号：
9625413 - 财政年份：1996
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
相似海外基金
CAREER: Blessing of Nonconvexity in Machine Learning - Landscape Analysis and Efficient Algorithms
职业：机器学习中非凸性的祝福 - 景观分析和高效算法
- 批准号：
2337776 - 财政年份：2024
- 资助金额：
$ 11.58万 - 项目类别：
Continuing Grant
CAREER: Resilient and Efficient Automatic Control in Energy Infrastructure: An Expert-Guided Policy Optimization Framework
职业：能源基础设施中的弹性和高效自动控制：专家指导的政策优化框架
- 批准号：
2338559 - 财政年份：2024
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
CAREER: Towards highly efficient UV emitters with lattice engineered substrates
事业：采用晶格工程基板实现高效紫外线发射器
- 批准号：
2338683 - 财政年份：2024
- 资助金额：
$ 11.58万 - 项目类别：
Continuing Grant
RII Track-4:NSF: HEAL: Heterogeneity-aware Efficient and Adaptive Learning at Clusters and Edges
RII Track-4：NSF：HEAL：集群和边缘的异质性感知高效自适应学习
- 批准号：
2327452 - 财政年份：2024
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
- 批准号：
2343607 - 财政年份：2024
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
Collaborative Research: Beyond the Single-Atom Paradigm: A Priori Design of Dual-Atom Alloy Active Sites for Efficient and Selective Chemical Conversions
合作研究：超越单原子范式：双原子合金活性位点的先验设计，用于高效和选择性化学转化
- 批准号：
2334970 - 财政年份：2024
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
ASCENT: Heterogeneously Integrated and AI-Empowered Millimeter-Wave Wide-Bandgap Transmitter Array towards Energy- and Spectrum-Efficient Next-G Communications
ASCENT：异构集成和人工智能支持的毫米波宽带隙发射机阵列，实现节能和频谱高效的下一代通信
- 批准号：
2328281 - 财政年份：2024
- 资助金额：
$ 11.58万 - 项目类别：
Standard Grant
CAREER: Efficient Algorithms for Modern Computer Architecture
职业：现代计算机架构的高效算法
- 批准号：
2339310 - 财政年份：2024
- 资助金额：
$ 11.58万 - 项目类别：
Continuing Grant
CAREER: Computational Design of Single-Atom Sites in Alloy Hosts as Stable and Efficient Catalysts
职业：合金主体中单原子位点的计算设计作为稳定和高效的催化剂
- 批准号：
2340356 - 财政年份：2024
- 资助金额：
$ 11.58万 - 项目类别：
Continuing Grant
Recyclable, smart and highly efficient wire-shaped solar cells waved portable/wearable electronics
可回收、智能、高效的线形太阳能电池挥舞着便携式/可穿戴电子产品
- 批准号：
24K15389 - 财政年份：2024
- 资助金额：
$ 11.58万 - 项目类别：
Grant-in-Aid for Scientific Research (C)