Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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 List
Document Date: 2011-09-17 09:29:30
Open Document
File Size: 358,00 KB
Share Result on Facebook