Abstractions for Language-Independent Program Transformations

Karl Trygve Kalleberg, PhD thesis
University of Bergen
June 2007

A detailed abstract is available separately.

Contents

The entire context of the thesis is available as one monolithic PDF download (~1.7MB).

• Full text

For convenience the various chapters may also be downloaded separately:

• Frontmatter

1. Introduction
   • 1 Introduction
2. Software Transformation Systems
   • 2 Programmable Software Transformation Systems
   • 3 Strategic Term Rewriting
3. Abstractions for Language Independence
   • 4 Program Object Model Adapters
   • 5 Modularising Cross-Cutting Transformation Concerns
4. Supportive Abstractions for Transformation
   • 6 An Extensible Transformation Language
   • 7 Strategic Graph Rewriting
   • 8 Language Extensions as Transformation Libraries
   • 9 Interactive Transformation and Editing Environments
   • 10 Extending Compilers with Transformation and Analysis Scripts
   • 11 Code Generation for Axiom-based Unit Testing
5. Conclusion
   • 12 Discussion
   • 13 Further Work
   • 14 Conclusions
   • 15 Summary

• Backmatter