咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程

主题

  • 2 篇 层次式程序表示模...
  • 2 篇 对象
  • 1 篇 符号语言
  • 1 篇 程序设计
  • 1 篇 程序员
  • 1 篇 可扩展程序对象模...
  • 1 篇 程序设计语言
  • 1 篇 作用域
  • 1 篇 类型
  • 1 篇
  • 1 篇
  • 1 篇 静态分析

机构

  • 2 篇 南京大学

作者

  • 2 篇 赵洋
  • 2 篇 潘金贵
  • 2 篇 蔡志旻
  • 1 篇 金浩
  • 1 篇 黄春浩

语言

  • 2 篇 中文
检索条件"主题词=层次式程序表示模型"
2 条 记 录,以下是1-10 订阅
排序:
一个基于对象、域和型的层次式程序表示模型
收藏 引用
计算机科学 2003年 第4期30卷 118-120,135页
作者: 赵洋 蔡志旻 金浩 潘金贵 南京大学计算机软件新技术国家重点实验室
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... 详细信息
来源: 评论
程序静态分析中的双重模型策略
收藏 引用
计算机应用研究 2003年 第10期20卷 42-45页
作者: 黄春浩 赵洋 蔡志旻 潘金贵 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系 江苏南京210093
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。
来源: 评论