Skip to main content
SpringerLink
Log in

Grundlagen und intraprozedurale Optimierung

  • Chapter
Book cover Übersetzerbau

Part of the book series: eXamen.press ((EXAMEN))

  • 1912 Accesses

Zusammenfassung

In diesem Abschnitt wollen wir einige grundlegende Techniken kennen lernen, mit denen die Qualität des Codes, den der Übersetzer erzeugt, verbessert werden kann. Das Qualitätsmaß ist hierbei nicht a priori festgelegt. In diesem Buch werden wir vor allem daran interessiert sein, die Ausführungszeit des Programms zu verbessern.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 19.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 24.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum. Flow insensitive points-to sets. Information & Software Technology, 44(13):743–754, 2002.

    Article  Google Scholar 

  2. Patrick Cousot, Radhia Cousot. Static Determination of Dynamic Properties of Programs. In 2nd Int. Symp. on Programming, pp. 106–130. Dunod, Paris, France, 1976.

    Google Scholar 

  3. Patrick Cousot, Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In 4th ACM Symp. on Principles of Programming Languages (POPL), pp. 238–252, 1977.

    Google Scholar 

  4. Patrick Cousot, Nicolas Halbwachs. Automatic Discovery of Linear Restraints among Variables of a Program. In 5th ACM Symp. on Principles of Programming Languages (POPL), pp. 84–97, 1978.

    Google Scholar 

  5. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clif Stein. Introduction to Algorithms (Third Edition). MIT Press, 2009.

    Google Scholar 

  6. Manuel Fähndrich, Jakob Rehof, Manuvir Das. Scalable Context-sensitive Flow Analysis Using Instantiation Constraints. SIGPLAN Not., 35(5):253–263, 2000.

    Article  Google Scholar 

  7. Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm. Invariance of Approximate Semantics with Respect to Program Transformations. In GI Jahrestagung, pp. 1–10, 1981.

    Google Scholar 

  8. Philippe Granger. Static Analysis of Linear Congruence Equalities among Variables of a Program. In Int. Joint Conf. on Theory and Practice of Software Development (TAPSOFT), pp. 169–192. LNCS 493, Springer, 1991.

    Google Scholar 

  9. Thomas Gawlitza, Helmut Seidl. Precise Fixpoint Computation Through Strategy Iteration. In European Symposium on Programming (ESOP), pp. 300–315. LNCS 4421, Springer, 2007.

    Google Scholar 

  10. Michael Karr. Affine Relationships Among Variables of a Program. Acta Informatica, 6:133–151, 1976.

    Article  MATH  Google Scholar 

  11. Gary A. Kildall. A Unified Approach to Global Program Optimization. In ACM Symp. on Principles of Programming Languages (POPL), pp. 194–206, 1973.

    Google Scholar 

  12. Jens Knoop. Optimal Interprocedural Program Optimization, A New Framework and Its Application. LNCS 1428, Springer, 1998.

    Google Scholar 

  13. Jens Knoop, Oliver Rüthing, Bernhard Steffen. Optimal Code Motion: Theory and Practice. ACM Trans. Program. Lang. Syst., 16(4):1117–1155, 1994.

    Article  Google Scholar 

  14. Jens Knoop, Oliver Rüthing, Bernhard Steffen. Partial Dead Code Elimination. In ACM Conf. on Programming Languages Design and Implementation (PLDI), pp. 147–158, 1994.

    Google Scholar 

  15. John B. Kam, Jeffrey D. Ullman. Global Data Flow Analysis and Iterative Algorithms . Journal of the ACM, 23(1):158–171, 1976.

    Article  MATH  Google Scholar 

  16. John B. Kam, Jeffrey D. Ullman. Monotone Data Flow Analysis Frameworks . Acta Inf., 7:305–317, 1977.

    Article  MATH  Google Scholar 

  17. Donglin Liang, Maikel Pennings, Mary Jean Harrold. Extending and Evaluating Flow-insensitive and Context-insensitive Points-to Analyses for Java. In ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering (PASTE), pp. 73–79, 2001.

    Google Scholar 

  18. Markus Müller-Olm, Helmut Seidl. Precise Interprocedural Analysis through Linear Algebra. In 31st ACM Symp. on Principles of Programming Languages (POPL), pp. 330–341, 2004.

    Google Scholar 

  19. Markus Müller-Olm, Helmut Seidl. A Generic Framework for Interprocedural Analysis of Numerical Properties. In Static Analysis, 12th Int. Symp. (SAS), pp. 235–250. LNCS 3672, Springer, 2005.

    Google Scholar 

  20. Markus Müller-Olm, Helmut Seidl. Analysis of Modular Arithmetic. ACM Trans. Program. Lang. Syst., 29(5), 2007.

    Google Scholar 

  21. G. Ramalingam. On Loops, Dominators, and Dominance Frontiers. ACM Trans. Program. Lang. Syst. (TOPLAS), 24(5):455–490, 2002.

    Article  Google Scholar 

  22. Axel Simon. Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities. Springer Verlag, 2008.

    Google Scholar 

  23. Mooly Sagiv, Thomas W. Reps, Reinhard Wilhelm. Parametric Shape Analysis via 3-Valued Logic. In 26th ACM Symp. on Principles of Programming Languages (POPL), pp. 105–118, 1999.

    Google Scholar 

  24. Mooly Sagiv, Thomas W. Reps, Reinhard Wilhelm. Parametric Shape Analysis via 3-Valued Logic. ACM Trans. Program. Lang. Syst. (TOPLAS), 24(3):217–298, 2002.

    Article  Google Scholar 

  25. Bjarne Steensgaard. Points-to Analysis in Almost Linear Time. In 23rd ACM Symp. on Principles of Programming Languages (POPL), pp. 32–41, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität München Institut für Informatik – I2, Boltzmannstr. 3, 85748, Garching, Germany

    Helmut Seidl

  2. Universität des Saarlandes FB Informatik, 66041, Saarbrücken, Germany

    Reinhard Wilhelm & Sebastian Hack

Authors
  1. Helmut Seidl
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Reinhard Wilhelm
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sebastian Hack
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Helmut Seidl .

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Seidl, H., Wilhelm, R., Hack, S. (2010). Grundlagen und intraprozedurale Optimierung. In: Übersetzerbau. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03331-5_1

Download citation

Publish with us

Policies and ethics

Search

Navigation