Interacting Code Motion Transformations: Their Impact and Their Complexity

  • O Rüthing

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1539)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Introduction

    1. Pages 1-8
  3. Basic Formalisms and Definitions

  4. Expression Motion

  5. Assignment Motion

  6. Back Matter
    Pages 215-225

About this book


Code motion techniques are integrated in many optimizing production and research compilers. They are still a major topic of ongoing research in program optimization, but traditional methods are restricted by a narrow focus on their immediate effects. A more ambitious approach is to investigate the interdependencies between distinct component transformations.
This monograph provides a comprehensive account of the methods most accepted in practice for program analysis and program transformation for imperative languages. It also develops a scenario, systematically and step by step, which overcomes the structural restrictions that had previously long resisted attack. The author presents formal proofs for all the steps leading to this breakthrough, though the reader may skip the proofs and consult the technical details as needed yet still enjoy a smooth introduction to the central principles of code motion.


Code Motion Transformation Compiler Optimization Lex Program Analysis Program Optimization Program Transformation compiler complexity optimization

Authors and affiliations

  • O Rüthing
    • 1
  1. 1.Universität Dortmund, Lehrstuhl Informatik VDortmundGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65510-7
  • Online ISBN 978-3-540-49209-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences