Publication Type |
Journal Article |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Regehr, John |
Title |
Vertically integrated analysis and transformation for embedded software |
Date |
2003-01-01 |
Description |
Program analyses and transformations that are more aggressive and more domain-specific than those traditionally performed by compilers are one possible route to achieving the rapid creation of reliable and efficient embedded software. We are creating a new framework for Vertically Integrated Program Analysis (VIPA) that makes use of information gathered at multiple levels of abstraction such as high-level models, source code, and assembly language. This paper describes our approach and shows how and why it will help create better embedded software. |
Type |
Text |
Publisher |
University of Utah |
Dissertation Institution |
University of Utah |
Language |
eng |
Bibliographic Citation |
Regehr, J. (2003). Vertically integrated analysis and transformation for embedded software. In Proceedings of the 2003 Workshop on Compilers and Tools for Constrained Embedded Systems (CTCES). October 29. |
Rights Management |
(c)University of Utah |
Format Medium |
application/pdf |
Format Extent |
135,381 bytes |
Identifier |
uspace,17500 |
ARK |
ark:/87278/s6rb7pcn |
Setname |
ir_uspace |
ID |
708008 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6rb7pcn |