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
Official Date:	August 2010
Dates:	Date Event August 2010 Submitted
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 or add full text files to a record

Actions (login required)

View Item

Downloads