课题基金 / 基金详情

Combining domain-specific and general-purpose languages to improve program analysis

Combining domain-specific and general-purpose languages to improve program analysis
结合特定领域和通用语言来改进程序分析
批准号：
356027-2013
负责人：
Lam, Patrick
金额：
$1.46万
依托单位：
University of Waterloo
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2014
资助国家：
加拿大
项目状态：
已结题
起止时间：
2014-01-01 至 2015-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=549898
关键词：
Combiningdomainspecificgeneralpurpose

项目摘要

项目成果

Lam, Patrick的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Programming, a key activity in software development, requires a programmer to laboriously encode a high-level understanding of a problem domain into code---a set of precise instructions, suitable for a computer to execute. Domain-specific languages (DSLs) help bridge the gap between the problem domain and the code by mitigating the conceptual mismatch between the software's high-level design and the low-level details required in its implementation. However, because DSLs are very specific, they do not generally suffice for implementing complete software systems. In many cases, they must be combined with a general-purpose language.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Leveraging Test Suites for Better Program Analysis
  • 批准号：
    RGPIN-2018-03983
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $4.08万
  • 财政年份：
    2022
  • 负责人：
    Lam, Patrick
  • 依托单位：
    University of Waterloo
Leveraging Test Suites for Better Program Analysis
  • 批准号：
    RGPIN-2018-03983
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2021
  • 负责人：
    Lam, Patrick
  • 依托单位：
    University of Waterloo
Leveraging Test Suites for Better Program Analysis
  • 批准号：
    RGPIN-2018-03983
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2020
  • 负责人：
    Lam, Patrick
  • 依托单位：
    University of Waterloo
Leveraging Test Suites for Better Program Analysis
  • 批准号：
    RGPIN-2018-03983
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2019
  • 负责人：
    Lam, Patrick
  • 依托单位：
    University of Waterloo
国内基金
海外基金
Domain理论中几类T0拓扑空间的幂构造研究
  • 批准号：
    2026JJ81209
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    袁珍珠
  • 依托单位：
    长沙师范学院
RB-domain函数空间的相关研究
  • 批准号：
    2026JJ60113
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    栾伟
  • 依托单位：
    湖南师范大学
RIPK3蛋白及其RHIM结构域在脓毒症早期炎症反应和脏器损伤中的作用和机制研究
  • 批准号：
    82372167
  • 项目类别：
    面上项目
  • 资助金额：
    48.00万元
  • 批准年份：
    2023
  • 负责人：
    江继宏
  • 依托单位：
    上海交通大学
拟连续domain范畴的若干问题研究
  • 批准号：
    12301583
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30万元
  • 批准年份：
    2023
  • 负责人：
    栾伟
  • 依托单位：
    湖南大学