Software Analysis and Transformation Systems
软件分析和转换系统
基本信息
- 批准号:9122-2012
- 负责人:
- 金额:$ 3.06万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2016
- 资助国家:加拿大
- 起止时间:2016-01-01 至 2017-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Structural source transformation is a recent and increasingly popular computer programming paradigm with a wide range of applications in academia and industry. We have designed the TXL programming language to explicitly and conveniently express problem solutions using this new paradigm. In this work we explore and extend techniques for expressing and implementing structural source transformation systems (such as TXL) in the context of their application to computer software analysis and maintenance, document recognition and analysis, and model-driven engineering.
结构化源代码转换是近年来兴起的一种计算机程序设计范式,在学术界和工业界有着广泛的应用。我们已经设计了TXL编程语言,明确和方便地表达问题的解决方案,使用这种新的范式。在这项工作中,我们探索和扩展技术,表达和实现结构源转换系统(如TXL)的背景下,他们的应用程序,计算机软件分析和维护,文档识别和分析,模型驱动的工程。
项目成果
期刊论文数量(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 }}
Cordy, James其他文献
Cordy, James的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Cordy, James', 18)}}的其他基金
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
RGPIN-2018-04553 - 财政年份:2022
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
RGPIN-2018-04553 - 财政年份:2021
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
RGPIN-2018-04553 - 财政年份:2020
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
RGPIN-2018-04553 - 财政年份:2019
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
RGPIN-2018-04553 - 财政年份:2018
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
9122-2012 - 财政年份:2017
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
NSERC CREATE Graduate Specialization in Ultra-large scale Software Systems
NSERC CREATE 超大规模软件系统研究生专业
- 批准号:
397879-2011 - 财政年份:2016
- 资助金额:
$ 3.06万 - 项目类别:
Collaborative Research and Training Experience
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
9122-2012 - 财政年份:2015
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
NSERC CREATE Graduate Specialization in Ultra-large scale Software Systems
NSERC CREATE 超大规模软件系统研究生专业
- 批准号:
397879-2011 - 财政年份:2015
- 资助金额:
$ 3.06万 - 项目类别:
Collaborative Research and Training Experience
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
9122-2012 - 财政年份:2014
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:合作创新研究团队
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
基于Meta-analysis的新疆棉花灌水增产模型研究
- 批准号:41601604
- 批准年份:2016
- 资助金额:22.0 万元
- 项目类别:青年科学基金项目
大规模微阵列数据组的meta-analysis方法研究
- 批准号:31100958
- 批准年份:2011
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
用“后合成核磁共振分析”(retrobiosynthetic NMR analysis)技术阐明青蒿素生物合成途径
- 批准号:30470153
- 批准年份:2004
- 资助金额:22.0 万元
- 项目类别:面上项目
相似海外基金
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
RGPIN-2018-04553 - 财政年份:2022
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
RGPIN-2018-04553 - 财政年份:2021
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
RGPIN-2018-04553 - 财政年份:2020
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
RGPIN-2018-04553 - 财政年份:2019
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
RGPIN-2018-04553 - 财政年份:2018
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
9122-2012 - 财政年份:2017
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
9122-2012 - 财政年份:2015
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
9122-2012 - 财政年份:2014
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
9122-2012 - 财政年份:2013
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual
Software Analysis and Transformation Systems
软件分析和转换系统
- 批准号:
9122-2012 - 财政年份:2012
- 资助金额:
$ 3.06万 - 项目类别:
Discovery Grants Program - Individual