
Copenhagen Programming Language SeminarCOPLAS Talk 
In sizechange termination analysis, our goal is to decide whether the program has the sizechange termination property: Infinite computation is impossible, because every infinite transition sequence would force infinite descent in some values. The $\delta$SCT problem is to make this decision when the information about sizechanges in the program is given as inequalities of the form $y \leq x+\delta$, with some integer delta. The problem is a generalization of the SCT problem described in POPL 2001 by Lee, Jones and BenAmram, where only $y \leq x$ and $y < x$ were allowed. This talk describes recent results for this problem:
Experience with SCT has shown us that this special case is important practically, besides the theoretical interest. 
Scientific host:
Neil Jones. Administrative host:
Camilla Jensen. All are welcome.
The Copenhagen Programming
Language Seminar (COPLAS) is a collaboration between DIKU,
ITU and KVL.
To receive information about COPLAS talks by email, send a message to
proglangrequest@mail.itc.dk with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see
http://www.coplas.org