询问-回答模式下层次式程序表示模型的构建方法

• 作者: 吕波 潘金贵 赵洋 黄春浩
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 静态分析 层次式模型 可扩展程序对象模型 询问-回答模式 对象控制
• 年，卷（期）: 2003,（28）
• 所属期刊栏目: 开发设计
• 页码范围: 139-141,147
• 页数: 4页
• 分类号: TP311
• 字数: 4412字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.28.042

摘要

对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础.基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型.该模型侧重反映程序中对象、域和类型间的内在关系,并通过域把不同的对象和型关联起来.可扩展程序对象模型(EPOM)是用来具体刻画程序语法结构的一种抽象模型.在对程序进行词法和语法分析后得到EPOM的情况下通过询问-回答的对象控制模式可以方便的构建OSTPM.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘金贵	南京大学计算机软件新技术国家重点实验室	143	2369	23.0	44.0
5	赵洋	南京大学计算机软件新技术国家重点实验室	7	24	3.0	4.0
9	黄春浩	南京大学计算机软件新技术国家重点实验室	2	2	1.0	1.0
13	吕波	南京大学计算机软件新技术国家重点实验室	3	1	1.0	1.0