期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
一个基于对象、域和型的层次式程序表示模型 被引量:2
1
作者 赵洋 蔡志旻 +1 位作者 金浩 潘金贵 《计算机科学》 CSCD 北大核心 2003年第4期118-120,135,共4页
It is necessary to represent a program in a visual model before analyzing it. This paper introduces a hierarchical program visual model based on object, scope and type. It depicts a program's information through a... It is necessary to represent a program in a visual model before analyzing it. This paper introduces a hierarchical program visual model based on object, scope and type. It depicts a program's information through a recursive-nested structure. Particularly, it emphasizes on the inherent relationships among objects, scopes and types and connects objects and types within scopes. This paper explains all parts and their relationships in details and also addresses briefly about how to realize the model. 展开更多
关键词 程序设计语言 符号语言 程序 层次式程序表示模型 类型 对象 作用域 程序设计
下载PDF
程序静态分析中的双重模型策略
2
作者 黄春浩 赵洋 +1 位作者 蔡志旻 潘金贵 《计算机应用研究》 CSCD 北大核心 2003年第10期42-45,共4页
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。
关键词 静态分析 可扩展程序对象模型 对象 层次式程序表示模型
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部