形式推导支持的递归程序向非递归程序的转换

著录项

• 来源
  《计算机工程与科学》 |2007年第10期|145-147封3|共4页
• 作者

  化志章; 揭安全; 李云清; 薛锦云;

  展开▼
• 作者单位

  江西师范大学计算机信息工程学院;

  江西;

  南昌;

  330022;

  江西省高性能计算技术重点实验室;

  江西;

  南昌;

  330022;

  江西师范大学计算机信息工程学院;

  江西;

  南昌;

  330022;

  江西省高性能计算技术重点实验室;

  江西;

  南昌;

  330022;

  江西师范大学计算机信息工程学院;

  江西;

  南昌;

  330022;

  江西师范大学计算机信息工程学院;

  江西;

  南昌;

  330022;

  江西省高性能计算技术重点实验室;

  江西;

  南昌;

  330022;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  算法推导; 形式方法; 递归程序变换; PAR方法;