单元赋值语句相关硕士博士期刊学术论文 - 信丰网

单元赋值语句相关论文

一类单元赋值语句型循环不变式的开发方法研究

依据现有循环不变式的定义和开发策略，阐述了一类单元赋值语句型循环不变式开发方法，同时使用 Dijkstra 最弱前置谓词方法确认了循环......

期刊

单元赋值语句循环不变式开发策略最弱前置谓词方法 single-variable assignment loop invariants strategy f

看过本文同时还关注