List of figures. List of tables. Preface. 1. Introduction. 2. Background. 3. Overview and basic definitions. 4. Analysis of flat loops. 5. Analysis of nested loops. 6. Discussion of the analysis approach. 7. Case study. 8. Prototype implementation. 9. Applications. 10. Conclusions. References. A. Notation. B. Acronyms. C. Definitions. D. Additional plans and abstraction classes. Index.
"Sinopsis" puede pertenecer a otra edición de este libro.