良基归纳法相关论文
并发程序的不变式验证对理解程序和提高程序的正确性具有重要意义。以一种区间时序逻辑程序设计语言Framed Tempura为研究对象，给出......
探讨广义归纳法对程序性质的证明能力，特别是良基关系的构造和恰当的选择对减少证明义务的作用，并通过实例加以证明。......
