会议论文详细信息
Interaction versus Automation: The two Faces of Deduction
Termination of Integer Term Rewriting
计算机科学;物理学
C. Fuhs ; J. Giesl ; M. Plu¨cker LuFG Informatik 2
PID  :  80098
学科分类:计算机科学(综合)
来源: CEUR
PDF
【 摘 要 】

When using rewrite techniques for termination analysis of programs, a main problem are pre defined data types like integers. We extend term rewriting by builtin integers and adapt the depen

【 预 览 】
附件列表
Files Size Format View
Termination of Integer Term Rewriting 87KB PDF download
  文献评价指标  
  下载次数:8次 浏览次数:5次