size-change principle

AAECC
2005
Springer

128views Algorithms» more AAECC 2005»

The size-change principle and dependency pairs for termination of term rewriting

14 years 14 days ago

Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...

René Thiemann, Jürgen Giesl

claim paper

Read More »

click to vote

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

The size-change principle for program termination

15 years 26 days ago

Download www.ccs.neu.edu

Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers