Advertisement

Analysis of loops

  • Florian Martin
  • Martin Alt
  • Reinhard Wilhelm
  • Christian Ferdinand
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1383)

Keywords

program analysis program analyzer generator loops call string approach functional approach. 

References

  1. 1.
    Martin Alt, Christian Ferdinand, Florian Martin, and Reinhard Wilhelm. Cache Behavior Prediction by Abstract Interpretation. In Radhia Cousot and David A. Schmidt, editors, SAS'96, Static Analysis Symposium, volume 1145 of Lecture Notes in Computer Science, pages 51–66. Springer, September 1996. Long version accepted for SAS'96 special issue of Science of Computer Programming.Google Scholar
  2. 2.
    Martin Alt and Florian Martin. Generation of Efficient Interprocedural Analyzers with PAG. In Alan Mycroft, editor, SAS'95, Static Analysis Symposium, volume 983 of Lecture Notes in Computer Science, pages 33–50. Springer, September 1995.Google Scholar
  3. 3.
    Martin Alt and Florian Martin. Practical comparision of call string and functional approach in data flow analysis. In Herbert Kuchen, editor, Arbeitstagung Programmiersprachen, volume 58 of Arbeitsberichte des Institutes fü,r Wirtschaftsinformatik. Westfälische Wilhelms-Universität Münster, July 1997.Google Scholar
  4. 4.
    Christian Ferdinand, Florian Martin, and Reinhard Wilhelm. Applying Compiler Techniques to Cache Behavior Prediction. In Workshop on Languages, Compilers and Tools for Real-Time Systems, pages 37–46, June 1997.Google Scholar
  5. 5.
    Williams Ludwell Harrison III. Personal communication on Abstract Interpretation, Dagstuhl Seminar, 1995.Google Scholar
  6. 6.
    J.L Hennessy and D.A. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann, 1996.Google Scholar
  7. 7.
    B. G. Ryder and M. C. Paull. Elimination algorithms for data flow analysis. ACM Computing Surveys, 18(3):277–315, September 1986.Google Scholar
  8. 8.
    Micha Sharir and Amir Pnueli. Two Approaches to Interprocedural Data Flow Analysis. In Steven S. Muchnick and Neil D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 7, pages 189–233. Prentice-Hall, 1981.Google Scholar
  9. 9.
    Bernhard Steffen. Property-oriented expansion. In Radhia Cousot and David A. Schmidt, editors, SAS'96, Static Analysis Symposium, volume 1145 of Lecture Notes in Computer Science, pages 22–41. Springer, 1996.Google Scholar
  10. 10.
    Stephan Thesing, Florian Martin, and Martin Alt. PAG User's Manual, 1997.Google Scholar
  11. 11.
    Reinhard Wilhelm and Dieter Maurer. Compiler Design. International Computer Science Series. Addison-Wesley, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Florian Martin
    • 1
  • Martin Alt
    • 1
  • Reinhard Wilhelm
    • 1
  • Christian Ferdinand
    • 1
  1. 1.Universit↦ des SaarlandesSaarbrücken

Personalised recommendations