刷新
RUI: Testing and Enhancing a Prototype Program Fusion Engine
RUI：测试和增强原型程序融合引擎
基本信息
- 批准号：0296006
- 负责人：
- 金额：$ 5.04万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：2001
- 资助国家：美国
- 起止时间：2001-07-01 至 2002-05-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 }}
Patricia Johann其他文献
A Productivity Checker for Logic Programming
逻辑编程的生产力检查器
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
Ekaterina Komendantskaya;Patricia Johann;Martin Schmidt - 通讯作者：
Martin Schmidt
Monadic fold, Monadic build, Monadic Short Cut Fusion
Monadic 折叠、Monadic 构建、Monadic 快捷融合
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
Patricia Johann - 通讯作者：
Patricia Johann
Staged Notational Definitions
分阶段符号定义
- DOI：
10.1007/978-3-540-39815-8_6 - 发表时间：
2003 - 期刊：
- 影响因子：0
- 作者：
Walid Taha;Patricia Johann - 通讯作者：
Patricia Johann
Lumberjack Summer Camp: A Cross-Institutional Undergraduate Research Experience in Computer Science
伐木工人夏令营：计算机科学的跨机构本科研究经历
- DOI：
10.1076/csed.11.4.279.3830 - 发表时间：
2001 - 期刊：
- 影响因子：2.7
- 作者：
Patricia Johann;F. Turbak - 通讯作者：
F. Turbak
On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi
证明高阶多态演算中基于自由定理的程序变换的正确性
- DOI：
10.1017/s0960129504004578 - 发表时间：
2005 - 期刊：
- 影响因子：0.5
- 作者：
Patricia Johann - 通讯作者：
Patricia Johann
Patricia Johann的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Patricia Johann', 18)}}的其他基金
SHF:Small:RUI: Deep Induction Rules for Advanced Data Types
SHF:Small:RUI：高级数据类型的深度归纳规则
- 批准号：
2203217 - 财政年份：2022
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
SHF:Small:RUI: Semantic Complexity of Advanced Data Types
SHF:Small:RUI：高级数据类型的语义复杂性
- 批准号：
1906388 - 财政年份：2019
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
SHF: Small: RUI: New Foundations for Indexed Programming
SHF：小型：RUI：索引编程的新基础
- 批准号：
1713389 - 财政年份：2017
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
SHF: Small: Relational Parametricity for Program Verification
SHF：小：程序验证的关系参数
- 批准号：
1420175 - 财政年份：2014
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
Categorical Foundations for Indexed Programming
索引编程的分类基础
- 批准号：
EP/G068917/1 - 财政年份：2010
- 资助金额：
$ 5.04万 - 项目类别：
Research Grant
RUI:Initial Algebra Packages for GADTs: Principled Tools for Structured Programming
RUI：GADT 的初始代数包：结构化编程的原则工具
- 批准号：
0700341 - 财政年份：2007
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
RUI: Provable Safety for Performance-Improving Free Theorems-Based Program Transformations
RUI：可证明安全性，可提高性能的基于自由定理的程序转换
- 批准号：
0429072 - 财政年份：2004
- 资助金额：
$ 5.04万 - 项目类别：
Continuing Grant
RUI: Testing and Enhancing a Prototype Program Fusion Engine
RUI：测试和增强原型程序融合引擎
- 批准号：
9900510 - 财政年份：1999
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction
数学科学：走向一种用于自动演绎的有根据的排序理论
- 批准号：
9696043 - 财政年份：1995
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction
数学科学：走向一种用于自动演绎的有根据的排序理论
- 批准号：
9510164 - 财政年份：1995
- 资助金额：
$ 5.04万 - 项目类别：
Standard Grant
相似国自然基金
准晶碾磨诱导不锈钢增强钝化效应研究
- 批准号：51901094
- 批准年份：2019
- 资助金额：20.0 万元
- 项目类别：青年科学基金项目
基于微纳观测试的混凝土再生集料与沥青粘附特性、失效机理及增强研究
- 批准号：51908460
- 批准年份：2019
- 资助金额：28.0 万元
- 项目类别：青年科学基金项目
基于立体光刻3D打印高精度氧化铝基陶瓷型芯的技术研究
- 批准号：51802318
- 批准年份：2018
- 资助金额：22.0 万元
- 项目类别：青年科学基金项目
碳纤维增强复合材料高温力学性能及疲劳与动态损伤特性实验研究
- 批准号：11772092
- 批准年份：2017
- 资助金额：94.0 万元
- 项目类别：面上项目
碳纤维增强树脂基复合材料在超低温环境下残余应力的形成机理及评价研究
- 批准号：11772075
- 批准年份：2017
- 资助金额：60.0 万元
- 项目类别：面上项目
相似海外基金
Enhancing knowledge mobilization for syphilis research in Nunavik
加强努纳维克梅毒研究的知识动员
- 批准号：
502791 - 财政年份：2024
- 资助金额：
$ 5.04万 - 项目类别：
Directed Grant
Immunomodulatory biomaterial to enhancing T-cell responses to triple negative breast cancer
免疫调节生物材料可增强 T 细胞对三阴性乳腺癌的反应
- 批准号：
10699815 - 财政年份：2023
- 资助金额：
$ 5.04万 - 项目类别：
The roles of FRCs in HIV-1 spread and establishment of latency
FRC 在 HIV-1 传播和潜伏期建立中的作用
- 批准号：
10759591 - 财政年份：2023
- 资助金额：
$ 5.04万 - 项目类别：
Network Canvas 2.0: Enhancing network data capture for drug use and HIV research
Network Canvas 2.0：增强药物使用和艾滋病毒研究的网络数据捕获
- 批准号：
10715902 - 财政年份：2023
- 资助金额：
$ 5.04万 - 项目类别：
Enhancing Hypnotic Medication Discontinuation in Primary Care through Supervised Medication Tapering and Digital Cognitive Behavioral Insomnia Therapy
通过监督药物逐渐减量和数字认知行为失眠治疗，加强初级保健中催眠药物的停药
- 批准号：
10736443 - 财政年份：2023
- 资助金额：
$ 5.04万 - 项目类别：