论文部分内容阅读
提出在PASCAL抽象实现结构图上，采用数据流方程算法实现程序切片的自动化．该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域，实现了程序表示形式与程序切片处理形式的统一，避免了传统方法产生控制流图的需要，简化了切片处理过程，提高了切片处理效率，并直观地反映了切片后的程序变化．
基于抽象实现结构图的数据流方程切片方法
【摘 要】
：
提出在PASCAL抽象实现结构图上，采用数据流方程算法实现程序切片的自动化．该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域，实现了程序表示形式与程序切片处理形式的统
【机 构】
：
汕头大学工学院计算机系
【出 处】
：
汕头大学学报(自然科学版)
【发表日期】
：
2006年3期
【基金项目】
：
广东省自然科学基金资助项目(No:05008310)
其他文献
江苏13个城市作为研究样本,建立了区域物流竞争力评价指标体系,并运用因子分析法对区域物流竞争力进行了实证分析,挖掘出影响物流产业竞争力的因素,指出,江苏各地物流发展情
集邮的4大功能——益知,怡情,交友,储财。对于交友,这次疫情中我有深切体会。武汉23日"封城",我和妻子25日(鼠年初一)从上海飞往美国迈阿密。两个月前预订的邮轮游。皇家加勒
苜蓿开花多结实少,是一种比较严格的异花授粉植物,其自交授粉率不超过2.6%,结实率仅为15～30%,在一定程度上影响着优良苜蓿种植面积的扩大与推广。1987年我们在本所牧草繁种圃,
能量合剂通用名为注射用三磷酸腺苷辅酶胰岛素，是一种复方制剂，其中含有三磷酸腺苷二钠20mg、辅酶A50U、胰岛素4U。能量合剂能提供一定的能量，参与体内三大营养物质的代谢，改善机
睡眠呼吸障碍,特别是阻塞性睡眠呼吸暂停综合征(OSAS)是一种具有潜在危险性的常见疾病,而多导睡眠图(PSG)是诊断睡眠呼吸暂停综合征(SAS)的金标准.本院自2002年5月～12月开展PS
<正>肝纤维化是继发于各种慢性肝损害后的组织修复反应,其严重程度是肝硬化肝功能失代偿、肝细胞癌等远期预后的重要危险因素。1肝纤维化的病理学诊断及严重程度评估肝组织活
濮花28号审定编号：苏鉴花生201511。由河南省濮阳市农业科学院育成,属普通型花生品种,适宜江苏省淮南地区种植。一、产量水平及特征特性2014年参加江苏省鉴定试验,荚果平均亩
目的了解非淋菌性泌尿生殖道支原体感染的情况及对抗菌药物的耐药情况,为临床选择抗菌药物提供依据。方法对妇科、泌尿外科、皮肤性病门诊送检的568份标本进行支原体培养及药
环境污染第三方治理法律制度作为一项重要的环境治理法律制度由我国推行,构建环境污染第三方治理机制,成为环境治理与生态恢复的新途径。第三方治理法律制度是推进环境治理专
凃必成(本缘),1947年6月出生于三晋古镇端氏,自幼习画,研究生学历,中共党员,高级工艺美术师,首届山西省工艺美术大师,首届中国刺绣(堆锦)艺术大师。1968年开始从事大唐绝艺—