Back to Results
First PageMeta Content
Mathematics / Metaphysics / Fixed point / Game theory / Abstract interpretation / Sequence / Structure / Dynamical system / Model theory / Series / KnasterTarski theorem / operator


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
UPDATE