| 基于源代码静态分析的C++0x泛型概念抽取 |
| |
| 引用本文： | 陈林,徐宝文.基于源代码静态分析的C++0x泛型概念抽取[J].计算机学报,2009,32(9). |
| |
| 作者姓名： | 陈林 徐宝文 |
| |
| 作者单位： | 东南大学计算机科学与工程学院,南京,210096;南京大学计算机软件新技术国家重点实验室,南京,210093;南京大学计算机科学与技术系,南京,210093 |
| |
| 基金项目： | 国家自然科学基金重大研究计划，重点项目，国家"八六三"高技术研究发展计划目标导向类项目 |
| |
| 摘 要： | 使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并通过重构得到符合C++0x标准的代码.文中提出了一种基于代码静态分析的泛型概念自动识别方法,通过对泛型程序中类型参数的使用分析,从遗产代码中提取有效表达式约束和关联类型约束,进而推导出泛型概念.将该方法应用于C++标准模板库STL,可以识别出STL算法中绝大部分潜在的泛型概念,表明该方法有助于识别遗产代码中的泛型概念.
|
| 关 键 词： | 泛型程序设计 软件重构 泛型概念 约束分析 |
Using Static Analysis to Extract C++0x Concepts |
| |
| CHEN Lin,XU Bao-Wen.Using Static Analysis to Extract C++0x Concepts[J].Chinese Journal of Computers,2009,32(9). |
| |
| Authors: | CHEN Lin XU Bao-Wen |
| |
| Abstract: | |
| |
| Keywords: | C++0x |
| 本文献已被 万方数据 等数据库收录！ |
|
