List of Figures. List of Tables. Foreword. Preface. Abstract. 1. Introduction. 2. Software Running Time Analysis. 3. A Formal Approach to Symta. 4. Formal Cache Analysis in Symta. 5. Program Segment Cost Analysis. 6. Experiments and Results. 7. Summary and Conclusion. Appendices. Bibliography. Index.
"synopsis" may belong to another edition of this title.