会议论文详细信息
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 | |
【 摘 要 】
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 | download |