-

检索结果分析

结果分析中...
检索条件:"关键词=层次式程序表示模型 "
条 记 录,以下是1-2
视图:
排序:
显示条数:
程序静态分析中的双重模型策略
《计算机应用研究》2003年第10期42-45,共4页黄春浩 赵洋 蔡志旻 潘金贵 
日本富士通公司国际合作研究基金资助项目
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。
关键词:静态分析 可扩展程序对象模型 对象   层次程序表示模型 
一个基于对象、域和型的层次程序表示模型被引量:2
《计算机科学》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 rec...
关键词:程序设计语言 符号语言 程序 层次程序表示模型 类型 对象 作用域 程序设计 
检索报告 对象比较 聚类工具 使用帮助 返回顶部