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
Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France
Add to Reading List
Document Date: 2012-12-19 06:23:54
Open Document
File Size: 587,71 KB
Share Result on Facebook
Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France