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

结合特定领域和通用语言来改进程序分析

• 批准号: 356027-2013
• 负责人: Lam, Patrick
• 金额: $ 1.46万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2016
• 资助国家: 加拿大
• 起止时间: 2016-01-01 至 2017-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=595779
• 关键词: Combining; domain; specific; general; purpose

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.

编程是软件开发中的一项关键活动，它要求程序员费力地将对问题域的高级理解编码成代码-一组精确的指令，适合计算机执行。领域特定语言（DSL）通过减轻软件的高级设计和实现中所需的低级细节之间的概念不匹配，帮助弥合问题域和代码之间的差距。然而，由于DSL非常具体，它们通常不足以实现完整的软件系统。在许多情况下，它们必须与通用语言相结合。