论文部分内容阅读
讨论了动态不变量的检测，即通过一个动态分析发现可能的程序不变量。通过从程序中自动推断出似然程序不变量的方式，可以在程序运动时动态追踪运行轨迹，以发现程序不变量，并找出属性和它们之间的关系，这是一个高效的技术。
动态不变量检测工具Daikon的分析及运用
【摘 要】
：
讨论了动态不变量的检测，即通过一个动态分析发现可能的程序不变量。通过从程序中自动推断出似然程序不变量的方式，可以在程序运动时动态追踪运行轨迹，以发现程序不变量，并找出属
【机 构】
：
南华大学
【出 处】
：
电脑开发与应用
【发表日期】
：
2006年1期
【基金项目】
：
湖南省自然科学基金（编号：XJK03CG021）资助.
其他文献
在中国社会主义和谐社会和全面小康社会的构建之中，加强宗教法制建设，中国特色社会主义宗教法制建设对于依法加强对宗教事务的管理。积极引导宗教与社会主义社会相适应，逐步实现
决策树和人工神经网络是数据挖掘分类任务中两项重要技术,各具特点,对不同的数据类型应采用不同的算法进行相应的研究应用。为了深入地说明各自的特点,根据决策树C 4.5算法的
陆游的《剑门道中遇微雨》中诗句＂细雨骑驴入剑门＂蕴涵着别有意味的信息,中国古代诗人与驴结下了不解之缘,在孟浩然、李白、杜甫、贾岛、李贺、郑綮、孟郊等＂骑驴＂的诗句或故事中
在新课程教学背景下，我们初中语文教师不仅要传授学生语文知识，还要培养学生的学习能力、进取精神、语文素养与创新能力，等等。为了充分激发学生的主动意识和进取精神，新课标倡导
WAP业务由最初的无人问津到现在的蓬勃发展，而随着中国移动和联通这两大电信服务商相继开展WAP业务，越来越多的企业开始参与到WAP业务中去。从有关手机WAP上网业务为接入点，通过