数组段极值算法的形式推导及其多态性实现

著录项

• 来源
  《'2001全国计算机新科技与计算机继续教育学术会议》|2001年|43-47|共5页
• 会议地点 成都
• 作者

  李云清; 敖小玲;

  展开▼
• 作者单位

  中国计算机学会;

  展开▼
• 会议组织
• 正文语种
• 原文格式 PDF
• 中图分类 程序设计;
• 关键词

  形式推导; 规约; 变换; 算法程序; 循环不变式;