|
|
|
| 广义有向树与程序终止 |
| 刘清; 刘远信 |
| 江西大学数学系； 江西大学数学系； |
|
|
|
|
摘要 <正> 一个程序P是完全正确的,表现为如果对满足输入断言的任何输入,执行程序P,则程序将以满足输出断言的输出而终止。然而,为了方便起见,往往把证明程序正确性的任务分为两个独立的子任务:(1)证明如果程序终止,则输出断言被满足,这叫证明程序部分正确,(2)证明如果对于程序的所
|
|
| 关键词 ：
有向树,
结点,
自然科学版,
程序变量,
条件,
输出断言,
程序终止,
框图程序,
连通子图,
有向图
|
|
出版日期: 1983-09-28
|
| [1] |
郭方琴刘伟平汪和清. 降雨条件下土体边坡稳定性分析[J]. 南昌大学学报（工科版）, 2017, 39(01): 55-. |
| [2] |
柳叶. 一类特殊Gabor框的存在性[J]. 南昌大学学报（理科版）, 2016, 40(06): 532-. |
| [3] |
王秀玲； 龚循华. 集值映射的Henig次微分以及最优性条件[J]. 南昌大学学报（理科版）, 2015, 39(06): 511-. |
| [4] |
何朝安. 作为内在属性的倾向性及其反事实条件句表达[J]. 南昌大学学报(人文社会科学版), 2015, 46(04): 1-. |
| [5] |
邵睿； 朱建华； . 不作为犯之归责问题初探[J]. 南昌大学学报(人文社会科学版), 2014, 45(05): 98-. |
| [6] |
郑小华；白瑞霞；谭艳；. 肝癌细胞株HepG2蛋白双向电泳条件的优化[J]. 南昌大学学报（医学版）, 2013, 53(07): 5-. |
| [7] |
尹建东； 聂饶荣； . 几乎处处最好覆盖与最好覆盖[J]. 南昌大学学报（理科版）, 2013, 37(04): 313-. |
| [8] |
高铭暄； 岳蓓玲； . 论刑法禁止令的司法适用[J]. 南昌大学学报(人文社会科学版), 2013, 44(04): 96-. |
| [9] |
徐兵；贾艳丽；刘露； . CVaR准则下两制造商单零售商供应链决策模型与协调研究[J]. 南昌大学学报（工科版）, 2013, 35(03): 281-. |
| [10] |
徐义红；肖明丽；涂相求； . 群体多目标决策联合超有效解的广义梯度型最优性条件[J]. 南昌大学学报（工科版）, 2013, 35(02): 176-. |
| [11] |
胡明；王建涛；万茵；刘成梅；聂少平；潘捷科；付桂明； . 响应面法优化油茶粕中茶皂素提取工艺[J]. 南昌大学学报（工科版）, 2013, 35(01): 29-. |
| [12] |
孔海星；龚循华；胡启宙；徐向阳. 约束锥内部为空时集值向量均衡问题的最优性条件[J]. 南昌大学学报（理科版）, 2012, 36(05): 420-. |
| [13] |
谭德生； 陈军苗. 2004～2009年深圳空气质量及其污染物扩散条件分析[J]. 南昌大学学报（理科版）, 2012, 36(03): 301-. |
| [14] |
. 《南昌大学学报·理科版》征稿简则[J]. 南昌大学学报（理科版）, 2011, 35(06): 1-. |
| [15] |
. 《南昌大学学报·理科版》征稿简则[J]. 南昌大学学报（理科版）, 2011, 35(05): 1-. |
|
|
|
|
1983, Vol. 7 