![](https://www.pdfsearch.io/img/40d5c1bef1518d99cb9fc258c65ca31f.jpg) Date: 2011-09-17 09:29:30
| | Size-Change Termination with Difference Constraints AMIR M. BEN-AMRAM This paper considers an algorithmic problem related to the termination analysis of programs. More specifically, we are given bounds on differences in Add to Reading ListSource URL: www2.mta.ac.ilDownload Document from Source Website File Size: 358,00 KBShare Document on Facebook
|