CAREER: Multi-stage Programming for Object-Oriented Languages
职业:面向对象语言的多阶段编程
基本信息
- 批准号:0747431
- 负责人:
- 金额:$ 40万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2008
- 资助国家:美国
- 起止时间:2008-02-15 至 2010-11-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Proposal Number 0747431TITLE CAREER: Multi-stage Programming for Object-Oriented Languages PI Walid Taha, Rice UniversityOver the past decade, multi-stage programming (MSP) has emerged as a unifying approach that captures the disciplined essence program generation. Early work on MSP focused on purely functional languages. The goal of this proposal is to put what we know about MSP to work in the context of mainstream languages such as Java and C#. This will be achieved by means of carefully designed, minimal extensions that provide an expressive, statically checked mechanism for effectively eliminating the interpretive overhead.The project will design an object-oriented language that provides statically checked support for the writing of program generators. The language, called The Java Program Mint (Mint) will support: 1. Staging constructs that are statically checked before expansion/generation, 2. Indexed types, to enable further optimizations that are particularly synergistic with staging, and 3. Disciplined, statically typed compile-time computation. The design of Mint will be evaluated by establishing formal safety and expressivity results, and the implementation will be evaluated by building demonstration applications. The novel features of Mint will have the most impact on applications that use reflection and that constitute domain-specific language (DSL) extensions, such as serializers, JavaBeans customization facilities, and synchronization libraries.
提案编号0747431Title职业:针对对象导向语言的多阶段编程Pi Walid Taha,赖斯大学,过去十年,多阶段编程(MSP)已成为一种统一的方法,该方法捕获了捕获纪律处分精华计划的生成。 MSP的早期工作集中在纯粹的功能语言上。该提案的目的是将我们对MSP的了解在主流语言(例如Java和C#)的背景下工作。这将是通过精心设计的最小扩展剂来实现的,该扩展名提供了一种表达性的,静态检查的机制,可有效消除解释性的开销。该语言称为Java程序MINT(MINT)将支持:1。在扩展/生成之前进行静态检查的分阶段构造,2。索引类型,以实现进一步的优化,这些优化与分期进行特别协同,3。纪律处分,静态打字的编译时间计算。将通过建立正式的安全性和表现性结果来评估薄荷的设计,并将通过构建演示应用来评估实施。薄荷的新颖特征将对使用反射的应用产生最大的影响,并且构成特定领域的语言(DSL)扩展,例如串行化器,Javabeans自定义设施和同步库。
项目成果
期刊论文数量(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 }}
Walid Taha其他文献
Safe & Robust Reachability Analysis of Hybrid Systems
安全的
- DOI:
10.1016/j.tcs.2018.06.020 - 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
E. Moggi;Amin Farjudian;Adam Duracz;Walid Taha - 通讯作者:
Walid Taha
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
使用 AST、Gensym 和 Reflection 实现多阶段语言
- DOI:
- 发表时间:
2003 - 期刊:
- 影响因子:0
- 作者:
Cristiano Calcagno;Walid Taha;Liwen Huang;X. Leroy - 通讯作者:
X. Leroy
Gradual Typing: Isabelle/Isar Formalization
渐进打字:Isabelle/Isar 形式化
- DOI:
10.1145/3133880 - 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
Jeremy G. Siek;Walid Taha - 通讯作者:
Walid Taha
Atelectasis : Causes , Consequences , Comorbidities , Pathophysiology , Prevention , and Treatment
肺不张:原因、后果、合并症、病理生理学、预防和治疗
- DOI:
- 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Nicholas A Kerna;Uzoamaka Nwokorie;Kevin Pruitt;Fernand Jean;M. Ann;C. Ortigas;Walid Taha;Joseph Anderson;Priya John - 通讯作者:
Priya John
Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
程序生成的语义、应用和实现国际研讨会论文集
- DOI:
- 发表时间:
2000 - 期刊:
- 影响因子:0
- 作者:
Walid Taha - 通讯作者:
Walid Taha
Walid Taha的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Walid Taha', 18)}}的其他基金
CPS: Medium: Collaborative Research: A CPS Approach to Robot Design
CPS:媒介:协作研究:机器人设计的 CPS 方法
- 批准号:
1736754 - 财政年份:2017
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
CPS: Medium: Collaborative Research: A CPS Approach to Robot Design
CPS:媒介:协作研究:机器人设计的 CPS 方法
- 批准号:
1136099 - 财政年份:2011
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
Collaborative Research: CSR/EHS: Building Physically Safe Embedded Systems
合作研究:CSR/EHS:构建物理安全的嵌入式系统
- 批准号:
0720857 - 财政年份:2007
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
A Merger of the Workshops on Generative and Component-Based Software Engineering (GCSE) and on the Semantics, Applications and Implementation of Program Generation (SAIG)
生成和基于组件的软件工程 (GCSE) 和程序生成的语义、应用和实现 (SAIG) 研讨会的合并
- 批准号:
0215394 - 财政年份:2002
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
ITR/SY(CISE): Putting Multi Stage Annotations to Work
ITR/SY(CISE):将多阶段注释投入使用
- 批准号:
0302421 - 财政年份:2002
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
A Merger of the Workshops on Generative and Component-Based Software Engineering (GCSE) and on the Semantics, Applications and Implementation of Program Generation (SAIG)
生成和基于组件的软件工程 (GCSE) 和程序生成的语义、应用和实现 (SAIG) 研讨会的合并
- 批准号:
0243259 - 财政年份:2002
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
ITR/SY(CISE): Putting Multi Stage Annotations to Work
ITR/SY(CISE):将多阶段注释投入使用
- 批准号:
0113569 - 财政年份:2001
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
相似国自然基金
随机路网环境下基于多阶段和多源数据的应急救援可靠网络设计及优化算法研究
- 批准号:72301236
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
多阶段多性能非线性退化系统建模与可靠性分析
- 批准号:12361058
- 批准年份:2023
- 资助金额:28 万元
- 项目类别:地区科学基金项目
火驱采油不同阶段多环芳烃化合物微观转化机理研究——对改质效果评价新方法的启示
- 批准号:42302161
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
多活性纳米酶多靶点全阶段治疗特发性肺纤维化
- 批准号:32371438
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
肺磨玻璃结节演进不同阶段的多模态无创预测模型建立
- 批准号:82370100
- 批准年份:2023
- 资助金额:48 万元
- 项目类别:面上项目
相似海外基金
Addressing social adversity to improve outcomes among children undergoing liver transplant: the role for a health advocate on the transplant team
解决社会逆境以改善接受肝移植的儿童的预后:移植团队中健康倡导者的作用
- 批准号:
10427960 - 财政年份:2022
- 资助金额:
$ 40万 - 项目类别:
Determining the influence of sex and gender in hepatocellular carcinoma risk and survival
确定性别和性别对肝细胞癌风险和生存的影响
- 批准号:
10652647 - 财政年份:2022
- 资助金额:
$ 40万 - 项目类别:
Towards improving recovery from dialysis-requiring acute kidney injury
改善需要透析的急性肾损伤的恢复
- 批准号:
10600072 - 财政年份:2022
- 资助金额:
$ 40万 - 项目类别:
Determining the influence of sex and gender in hepatocellular carcinoma risk and survival
确定性别和性别对肝细胞癌风险和生存的影响
- 批准号:
10524952 - 财政年份:2022
- 资助金额:
$ 40万 - 项目类别:
Addressing social adversity to improve outcomes among children undergoing liver transplant: the role for a health advocate on the transplant team
解决社会逆境以改善接受肝移植的儿童的预后:移植团队中健康倡导者的作用
- 批准号:
10621188 - 财政年份:2022
- 资助金额:
$ 40万 - 项目类别: