课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
编程是软件开发中的一项关键活动，它要求程序员费力地将对问题领域的高级理解编码成代码——一组适合计算机执行的精确指令。领域特定语言（dsl）通过减轻软件的高级设计和实现中所需的低级细节之间的概念不匹配，帮助弥合问题领域和代码之间的差距。然而，由于dsl非常具体，它们通常不足以实现完整的软件系统。在许多情况下，它们必须与通用语言结合使用。
英文摘要
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
  • 负责人：
    栾伟
  • 依托单位：
    湖南师范大学
Domain理论中的极大点空间及其应用研究
  • 批准号：
    12571507
  • 项目类别：
    面上项目
  • 资助金额：
    44.00万元
  • 批准年份：
    2025
  • 负责人：
    奚小勇
  • 依托单位：
    盐城师范学院
偏序集的拓扑对偶与拟度量空间的Domain理论刻画
  • 批准号：
    12571502
  • 项目类别：
    面上项目
  • 资助金额：
    44.00万元
  • 批准年份：
    2025
  • 负责人：
    鲁静
  • 依托单位：
    陕西师范大学