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
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) arXiv:submitcs.SC] 23 MarFlorian Zuleger1 , Sumit Gulwani2 , Moritz Sinn1 , and Helmut Veith1⋆
Add to Reading List
Document Date: 2012-03-23 14:07:46
Open Document
File Size: 352,61 KB
Share Result on Facebook
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) arXiv:submitcs.SC] 23 MarFlorian Zuleger1 , Sumit Gulwani2 , Moritz Sinn1 , and Helmut Veith1⋆