切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
面向对象模型语言MOOL静态切片系统的实现
面向对象模型语言MOOL静态切片系统的实现
来源 :吉林大学学报:理学版 | 被引量 : 0次 | 上传用户:hzh19780101
【摘 要】
:
以一种自定义的模型面向对象语言MOOL为例,采用分层切片和逐步求精的混合算法,使用Perl语言设计并实现了一个完整的MOOL静态切片工具MST.实验结果表明,切片后的程序更加简化,对调
【作 者】
:
王智学
刘华虓
王毅
陈雪
王跃
刘磊
【机 构】
:
吉林大学计算机科学与技术学院
【出 处】
:
吉林大学学报:理学版
【发表日期】
:
2008年6期
【关键词】
:
切片
静态切片
分层切片
切片工具
slicing
static slicing
hierarchical slicing
slicing tool
【基金项目】
:
国家自然科学基金(批准号:60873044).
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以一种自定义的模型面向对象语言MOOL为例,采用分层切片和逐步求精的混合算法,使用Perl语言设计并实现了一个完整的MOOL静态切片工具MST.实验结果表明,切片后的程序更加简化,对调试程序有一定的辅助作用.
其他文献
复合软包装相关技术标准汇总
期刊
预涂膜覆膜产品质量评估及分析
白公司购进预涂膜覆膜设备以来,应用该设备生产的覆膜产品质量极不稳定,其压线位经常会发生起泡等现象,大批产品因质量问题而报废,给公司造成了相当大的经济损失。笔者就其中出现
期刊
覆膜产品
预涂膜
质量评估
质量问题分析
覆膜设备
产品质量
设备生产
经济损失
不稳定
公司
高维可分正交紧支集小波的特征
讨论高维正交紧支集小波的可分性.给出当滤波函数m0(ξ1,ξ2,…,ξd)具有某种特殊形式时,不可分d元紧支集小波是不存在的.从而得到当滤波函数为所给形式时,d元紧支集正交小波
期刊
高维可分正交紧支集小波
滤波函数
可分性
高维小波理
小波分析
张量积生成
multiresolution analysis
separable high-d
BaCe0.75Y0.25O3—δ中温电解质的制备及单电池性能
采用溶胶-凝胶法制备掺Y^3+的BaCeO3电解质BaCe0.75Y0.25O3-δ通过TG—DTA和烧结曲线测试表明,样品在1080℃附近开始烧结;XRD谱分析表明,空气中1450℃烧结10h的样品已成单相,为正交
期刊
XRD谱
中温电解质
固体氧化物燃料电池
XRD pattern
IT-electrolyte
SOFC
其他学术论文