A Modular Static Analysis Approach to Affine Loop Invariants Detection

First Page		Document Content
Date: 2013-12-16 09:00:31 Division FO Mathematics Expected value Applied mathematics Program logic Predicate transformer semantics Theoretical computer science Binary arithmetic Computer arithmetic		A Modular Static Analysis Approach to Affine Loop Invariants Detection Add to Reading List Source URL: www.cri.ensmp.fr Download Document from Source Website File Size: 204,47 KB Share Document on Facebook