论文部分内容阅读
提出在PASCAL抽象实现结构图上，采用数据流方程算法实现程序切片的自动化．该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域，实现了程序表示形式与程序切片处理形式的统一，避免了传统方法产生控制流图的需要，简化了切片处理过程，提高了切片处理效率，并直观地反映了切片后的程序变化．
基于抽象实现结构图的数据流方程切片方法
【摘 要】
：
提出在PASCAL抽象实现结构图上，采用数据流方程算法实现程序切片的自动化．该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域，实现了程序表示形式与程序切片处理形式的统
【机 构】
：
汕头大学工学院计算机系
【出 处】
：
汕头大学学报(自然科学版)
【发表日期】
：
2006年3期
【基金项目】
：
广东省自然科学基金资助项目(No:05008310)
其他文献
江苏13个城市作为研究样本,建立了区域物流竞争力评价指标体系,并运用因子分析法对区域物流竞争力进行了实证分析,挖掘出影响物流产业竞争力的因素,指出,江苏各地物流发展情
苜蓿开花多结实少,是一种比较严格的异花授粉植物,其自交授粉率不超过2.6%,结实率仅为15～30%,在一定程度上影响着优良苜蓿种植面积的扩大与推广。1987年我们在本所牧草繁种圃,
<正>肝纤维化是继发于各种慢性肝损害后的组织修复反应,其严重程度是肝硬化肝功能失代偿、肝细胞癌等远期预后的重要危险因素。1肝纤维化的病理学诊断及严重程度评估肝组织活
目的了解非淋菌性泌尿生殖道支原体感染的情况及对抗菌药物的耐药情况,为临床选择抗菌药物提供依据。方法对妇科、泌尿外科、皮肤性病门诊送检的568份标本进行支原体培养及药
环境污染第三方治理法律制度作为一项重要的环境治理法律制度由我国推行,构建环境污染第三方治理机制,成为环境治理与生态恢复的新途径。第三方治理法律制度是推进环境治理专
凃必成(本缘),1947年6月出生于三晋古镇端氏,自幼习画,研究生学历,中共党员,高级工艺美术师,首届山西省工艺美术大师,首届中国刺绣(堆锦)艺术大师。1968年开始从事大唐绝艺—