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

First Page		Document Content
Date: 2012-12-19 06:23:54 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 Source URL: perso.ensta-paristech.fr Download Document from Source Website File Size: 587,71 KB Share Document on Facebook