Copying Introduction to APRON APRON Rationale and Functionalities APRON Guidelines Managers and Abstract Domains Scalars & Intervals & Coefficients Level 1 of the interface Level 0 of the interface Functions for implementors Examples Appendices