Automatic Validation of Code-Improving Transformations (2000)
Cached
Download Links
- [www.cs.fsu.edu]
- [www.cs.fsu.edu]
- [www.cs.fsu.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the ACM SIGPLAN Workshop on Language, Compilers, and Tools for Embedded Systems |
| Citations: | 8 - 5 self |
BibTeX
@INPROCEEDINGS{Engelen00automaticvalidation,
author = {Robert Van Engelen and David Whalley and Xin Yuan},
title = {Automatic Validation of Code-Improving Transformations},
booktitle = {In Proceedings of the ACM SIGPLAN Workshop on Language, Compilers, and Tools for Embedded Systems},
year = {2000},
pages = {206--210}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many embedded applications are being used as a component of an increasing number of critical systems. While achieving high performance for these systems is important, ensuring that these systems execute correctly is vital. One portion of this process is to ensure that code-improving transformations applied to a program will not change the program's semantic behavior, which is jeopardized when transformations are specified manually. This paper describes a general approach for validation of many low-level code-improving transformations made either by a compiler or specified by hand. Initially, we associate a region of the program representation with a code-improving transformation. Afterwards, we calculate the region's effects on the rest of the program before and after the transformation. The transformation is cons...
