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
- 负责人:
- 金额:$ 0.9万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2002
- 资助国家:美国
- 起止时间:2002-09-01 至 2003-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
CCR-0215394GC: A merger of the workshops on Generative and Component-based Software Engineering (GCSE) and on the Semantics, Applications and Implementation of Program Generation (SAIG) Walid M. Taha, Yale University, P.I.This document requests funding in the amount of $9K for a pilot joint event of two previously independent workshops called GCSE and SAIG. Both GCSE and SAIG are forums for publishing research generative techniques. GCSE focuses on generative techniques from the software engineering point of view, and SAIG from the formal and programming languages point of view. The pilot joint event, called the First ACM SIGPLAN Conference on Generators and Components (GC'02) will be held in October 2002, in Pittsburgh, PA. The event will replace GCSE and SAIG this year. If this experiment is successful, the result will be a regular, three-day joint conference bringing the two communities in one consolidated forum.
CCR-0215394 GC:关于生成和基于一致性的软件工程(GCSE)和程序生成(SAIG)的语义,应用和实现的研讨会的合并。塔哈,耶鲁大学,P.I.这份文件要求资助9000美元,用于两个以前独立的研讨会GCSE和SAIG的试点联合活动。GCSE和SAIG都是发表研究生成技术的论坛。GCSE侧重于从软件工程的角度来看生成技术,SAIG从形式和编程语言的角度来看。试点联合活动,称为第一届ACM发电机和部件SIGPLAN会议(GC'02),将于2002年10月在宾夕法尼亚州匹兹堡举行。该活动将取代GCSE和SAIG今年。如果这一试验成功,其结果将是定期举行为期三天的联席会议,使两族成为一个统一的论坛。
项目成果
期刊论文数量(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其他文献
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
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
Enclosing the behavior of a hybrid system up to and beyond a Zeno point
将混合系统的行为限制在芝诺点以下
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
M. Konečný;Walid Taha;J. Duracz;Adam Duracz;A. Ames - 通讯作者:
A. Ames
Gradual Typing: Isabelle/Isar Formalization
渐进打字:Isabelle/Isar 形式化
- DOI:
10.1145/3133880 - 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
Jeremy G. Siek;Walid Taha - 通讯作者:
Walid Taha
Function Interval Arithmetic
函数区间算术
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
J. Duracz;Amin Farjudian;M. Konečný;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
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
CPS: Medium: Collaborative Research: A CPS Approach to Robot Design
CPS:媒介:协作研究:机器人设计的 CPS 方法
- 批准号:
1136099 - 财政年份:2011
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
CAREER: Multi-stage Programming for Object-Oriented Languages
职业:面向对象语言的多阶段编程
- 批准号:
0747431 - 财政年份:2008
- 资助金额:
$ 0.9万 - 项目类别:
Continuing Grant
Collaborative Research: CSR/EHS: Building Physically Safe Embedded Systems
合作研究:CSR/EHS:构建物理安全的嵌入式系统
- 批准号:
0720857 - 财政年份:2007
- 资助金额:
$ 0.9万 - 项目类别:
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
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
ITR/SY(CISE): Putting Multi Stage Annotations to Work
ITR/SY(CISE):将多阶段注释投入使用
- 批准号:
0302421 - 财政年份:2002
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
ITR/SY(CISE): Putting Multi Stage Annotations to Work
ITR/SY(CISE):将多阶段注释投入使用
- 批准号:
0113569 - 财政年份:2001
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
相似海外基金
Collaborative Research: Conference: Trisections Workshops: Connections with Knotted Surfaces and Diffeomorphisms
协作研究:会议:三等分研讨会:与结曲面和微分同胚的联系
- 批准号:
2350344 - 财政年份:2024
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
2024 - 2025 National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Research Experiences for Undergraduates (REU) Principal Investigator Workshops
2024 - 2025 美国国家科学基金会 (NSF) 计算机与信息科学与工程 (CISE) 本科生研究经验 (REU) 首席研究员研讨会
- 批准号:
2407231 - 财政年份:2024
- 资助金额:
$ 0.9万 - 项目类别:
Continuing Grant
Collaborative Research: Conference: Workshops in Geometric Topology
合作研究:会议:几何拓扑研讨会
- 批准号:
2350374 - 财政年份:2024
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Travel: Student Travel Support for Logic Mentoring Workshops 2024
旅行:2024 年逻辑辅导研讨会的学生旅行支持
- 批准号:
2408942 - 财政年份:2024
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Conference: Supporting Mentoring in STEM Graduate Education: A Proposal for Virtual Workshops and Supporting Activities
会议:支持 STEM 研究生教育辅导:虚拟研讨会和支持活动的提案
- 批准号:
2413980 - 财政年份:2024
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Collaborative Research: Conference: Trisections Workshops: Connections with Knotted Surfaces and Diffeomorphisms
协作研究:会议:三等分研讨会:与结曲面和微分同胚的联系
- 批准号:
2350343 - 财政年份:2024
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Collaborative Research: Conference: Workshops in Geometric Topology
合作研究:会议:几何拓扑研讨会
- 批准号:
2350373 - 财政年份:2024
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Workshops Supporting the Development of a Workbook for Liberal Arts Computing Programs
支持文科计算项目工作手册开发的研讨会
- 批准号:
2342587 - 财政年份:2024
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Workshops on Smart Manufacturing with Open and Scaled Data Sharing in Semiconductor and Microelectronics Manufacturing; Virtual and In-Person; Washington, DC; October/November 2023
半导体和微电子制造中开放和规模化数据共享的智能制造研讨会;
- 批准号:
2334590 - 财政年份:2023
- 资助金额:
$ 0.9万 - 项目类别:
Standard Grant
Workshops and tools for a joined-up approach to cancer
癌症联合治疗方法的研讨会和工具
- 批准号:
484631 - 财政年份:2023
- 资助金额:
$ 0.9万 - 项目类别:
Fellowship Programs