循环界函数相关硕士博士期刊学术论文

讨论了循环界函数在程序正确性证明和程序推导技术中的应用问题，提出了求取几类已知循环程序的界函数和面向目标的程序推导中循环界......