Warburton, Richard (2010) On the generation and analysis of program transformations. PhD thesis, University of Warwick.

Preview

PDF WRAP_THESIS_Warburton_2010.pdf - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader Download (985Kb)

Abstract

This thesis discusses the idea of using domain specific languages for program transformation, and the application, implementation and analysis of one such domain specific language that combines rewrite rules for transformation and uses temporal logic to express its side conditions. We have conducted three investigations. - An efficient implementation is described that is able to generate compiler optimizations from temporal logic specifications. Its description is accompanied by an empirical study of its performance. - We extend the fundamental ideas of this language to source code in order to write bug fixing transformations. Example transformations are given that fix common bugs within Java programs. The adaptations to the transformation language are described and a sample implementation which can apply these transformations is provided. - We describe an approach to the formal analysis of compiler optimizations that proves that the optimizations do not change the semantics of the program that they are optimizing. Some example proofs are included. The result of these combined investigations is greater than the sum of their parts. By demonstrating that a declarative language may be efficiently applied and formally reasoned about satisfies both theoretical and practical concerns, whilst our extension towards bug fixing shows more varied uses are possible.

Item Type:	Thesis or Dissertation (PhD)
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Library of Congress Subject Headings (LCSH):	Program transformation (Computer programming), Domain-specific programming languages, Optimizing compilers
Date:	August 2010
Institution:	University of Warwick
Theses Department:	Department of Computer Science
Thesis Type:	PhD
Publication Status:	Unpublished
Supervisor(s)/Advisor:	Kalvala, Sara ; Lazic, Ranko
Extent:	x, 199 leaves : ill., charts
Language:	eng
URI:	http://wrap.warwick.ac.uk/id/eprint/34644

Request changes to a record

Actions (login required)

View Item