Overview

Authors:

Jens Knoop ⁰

Jens Knoop
1. Fakultät für Mathematik und Informatik, Universität Passau, Passau, Germany
View author publications

You can also search for this author in PubMed Google Scholar

Includes supplementary material: sn.pub/extras

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

2328 Accesses
7 Citations

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

Access this book

eBook USD 39.99

Price excludes VAT (USA)

Softcover Book USD 54.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 chapters)

Front Matter

Pages I-XXV

Download chapter PDF
Preface
1. Preface
  
  Pages 1-12
Introduction
1. The Intraprocedural Framework
  
  Pages 15-29
2. Optimal Intraprocedural Code Motion: The Transformations
  
  Pages 31-48
3. Optimal Intraprocedural Code Motion: The DFA-Algorithms
  
  Pages 49-67
The Framework
1. The Programming Language
  
  Pages 71-77
2. Higher Order Data Flow Analysis
  
  Pages 79-97
3. The Interprocedural Setting
  
  Pages 99-108
4. Interprocedural Abstract Interpretation
  
  Pages 109-140
5. A Cookbook for Optimal Interprocedural Program Optimization
  
  Pages 141-144
The Application
1. Optimal Interprocedural Code Motion: The Transformations
  
  Pages 147-207
2. Optimal Interprocedural Code Motion: The IDFA-Algorithms
  
  Pages 209-248
Conclusion
1. Perspectives
  
  Pages 251-270
Back Matter

Pages 271-288

Download chapter PDF

Keywords

About this book

Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field.

Authors and Affiliations

Fakultät für Mathematik und Informatik, Universität Passau, Passau, Germany

Jens Knoop

Bibliographic Information

Book Title: Optimal Interprocedural Program Optimization
Book Subtitle: A New Framework and Its Application
Authors: Jens Knoop
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-49639-4
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1998
Softcover ISBN: 978-3-540-65123-9Published: 23 September 1998
eBook ISBN: 978-3-540-49639-7Published: 26 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXV, 288
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering

Publish with us

Policies and ethics

Optimal Interprocedural Program Optimization

Overview

Access this book

Other ways to access

Table of contents (12 chapters)

Front Matter

Preface

Introduction

The Framework

The Application

Conclusion

Back Matter

Keywords

About this book

Authors and Affiliations

Fakultät für Mathematik und Informatik, Universität Passau, Passau, Germany

Bibliographic Information

Publish with us

Search

Navigation