课题基金 / 基金详情

Source transformation systems

Source transformation systems
源转换系统
批准号：
9122-2007
负责人：
Cordy, James
金额：
$3.5万
依托单位：
Queen's University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2008
资助国家：
加拿大
项目状态：
已结题
起止时间：
2008-01-01 至 2009-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=389908
关键词：
Sourcetransformationsystems

项目摘要

项目成果

Cordy, James的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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 continue to explore and extend techniques for expressing and implementing source transformation systems such as TXL in the context of several application areas, including computer software testing and verification, document recognition and analysis, autonomic computing and the world wide web.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Software Analysis and Transformation Systems
  • 批准号：
    RGPIN-2018-04553
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2022
  • 负责人：
    Cordy, James
  • 依托单位：
    Queen's University
Software Analysis and Transformation Systems
  • 批准号：
    RGPIN-2018-04553
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2021
  • 负责人：
    Cordy, James
  • 依托单位：
    Queen's University
Software Analysis and Transformation Systems
  • 批准号：
    RGPIN-2018-04553
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2020
  • 负责人：
    Cordy, James
  • 依托单位：
    Queen's University
Software Analysis and Transformation Systems
  • 批准号：
    RGPIN-2018-04553
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.5万
  • 财政年份：
    2019
  • 负责人：
    Cordy, James
  • 依托单位：
    Queen's University
国内基金
海外基金
"胚胎/生殖细胞发育特性激活”促进“神经胶质瘤恶变”的机制及其临床价值研究
  • 批准号：
    82372327
  • 项目类别：
    面上项目
  • 资助金额：
    49.00万元
  • 批准年份：
    2023
  • 负责人：
    马展
  • 依托单位：
    上海交通大学
HDAC11去ε-氨基长链脂肪酰化机制及功能的研究
  • 批准号：
    31970749
  • 项目类别：
    面上项目
  • 资助金额：
    58.0万元
  • 批准年份：
    2019
  • 负责人：
    孙蕾
  • 依托单位：
    山东师范大学
Krüppel样因子4在特发性肺纤维化胸膜间皮细胞-肌成纤维细胞表型转化中的作用和机制的研究
  • 批准号：
    81141001
  • 项目类别：
    专项基金项目
  • 资助金额：
    10.0万元
  • 批准年份：
    2011
  • 负责人：
    林连君
  • 依托单位：
    北京大学
分数阶傅里叶变换多分量图像数字水印研究
  • 批准号：
    60472044
  • 项目类别：
    面上项目
  • 资助金额：
    20.0万元
  • 批准年份：
    2004
  • 负责人：
    杨守义
  • 依托单位：
    郑州大学