1
|
基于数据分类的循环不变式自动生成 |
路红
王承毅
黄皓
|
《计算机应用与软件》
北大核心
|
2023 |
0 |
|
2
|
基于循环不变式的循环结构教学研究 |
曹文平
谷琼
宁彬
|
《电脑知识与技术》
|
2023 |
0 |
|
3
|
循环不变式开发新策略及其应用 |
石海鹤
肖正兴
薛锦云
|
《计算机工程与应用》
CSCD
北大核心
|
2006 |
8
|
|
4
|
非线性循环不变式的自动生成 |
毕忠勤
曾振柄
郭远华
|
《计算机应用》
CSCD
北大核心
|
2008 |
4
|
|
5
|
循环不变式开发技术研究 |
万松松
薛锦云
谢武平
|
《计算机工程与科学》
CSCD
北大核心
|
2010 |
5
|
|
6
|
PAR方法和循环不变式的范畴语义 |
屈文建
薛锦云
|
《计算机工程与应用》
CSCD
北大核心
|
2009 |
3
|
|
7
|
基于QBF的循环不变式构造技术 |
陈石坤
李舟军
|
《计算机工程与科学》
CSCD
北大核心
|
2010 |
1
|
|
8
|
利用循环不变式理解和开发程序 |
李云清
薛锦云
|
《计算机与现代化》
|
1996 |
1
|
|
9
|
利用基因表达式编程自动生成循环不变式 |
马竹根
王灿明
|
《计算机与数字工程》
|
2009 |
1
|
|
10
|
充分发挥循环不变式在程序设计课程教学中的作用 |
杨庆红
罗坚
|
《计算机时代》
|
2005 |
2
|
|
11
|
程序正确性证明及循环不变式的寻找方法 |
王彩芬
|
《甘肃科学学报》
|
2000 |
2
|
|
12
|
从集合论的角度分析循环不变式 |
杨淑群
吴文兵
丁树良
|
《吉林化工学院学报》
CAS
|
2005 |
0 |
|
13
|
关于求已知do循环不变式的一个方法及for循环的WP的定义 |
王彩芬
|
《西北师范大学学报(自然科学版)》
CAS
|
1993 |
0 |
|
14
|
基于遗传规划寻找循环不变式的方法 |
马竹根
刘槐德
|
《计算机时代》
|
2009 |
0 |
|
15
|
试论循环不变式和囿界函数在循环研制中的地位和作用 |
游晓明
刘升
|
《湖北师范学院学报(自然科学版)》
|
1998 |
0 |
|
16
|
一种自适应的循环不变式生成方法 |
刘自恒
曾庆凯
|
《计算机工程》
CAS
CSCD
|
2013 |
3
|
|
17
|
用Dixon结式产生非线性循环不变式 |
余伟
冯勇
|
《四川大学学报(工程科学版)》
EI
CAS
CSCD
北大核心
|
2012 |
1
|
|
18
|
一类单元赋值语句型循环不变式的开发方法研究 |
杨黄磊
薛锦云
|
《江西师范大学学报(自然科学版)》
CAS
北大核心
|
2014 |
4
|
|
19
|
用daikon发现循环不变式 |
许欢
王以松
|
《贵州大学学报(自然科学版)》
|
2012 |
2
|
|
20
|
2类数列问题循环不变式开发策略研究与应用 |
古素梅
杨庆红
|
《江西师范大学学报(自然科学版)》
CAS
北大核心
|
2020 |
1
|
|