不变量动态发现相关论文
程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在......
不变量是用于描述程序运行时不变性质的一些重要的逻辑断言。大型程序似然不变量发现的方法是通过对程序运行时的轨迹进行分析采获......
不变量是用来描述程序运行时保持不变性质的逻辑断言．根据关系数据理论，程序不变量可分函数依赖型和非函数依赖型程序不变量．着眼于函......
