Software Analysis and Transformation Systems

软件分析和转换系统

• 批准号: 9122-2012
• 负责人: Cordy, James
• 金额: $ 3.06万
• 依托单位: Queen's University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2014
• 资助国家: 加拿大
• 起止时间: 2014-01-01 至 2015-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=544593
• 关键词: Software; Analysis; Transformation; Systems

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）的技术。