Transformation of meta-information by abstract Co- interpretation

Raimund Kirner, P. Puschner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

82 Downloads (Pure)

Abstract

In this paper we present an approximation method based on abstract interpretation to transform meta-information in parallel with the transformation of concrete data. The meta-information is assumed to describe further properties of the specific data. The construction of a correct transformation function for the meta-information can be quite complicated in case of complex data transformations or data structures. A special approximation method is presented that works with data abstraction.Performing worst-case execution time (WCET) analysis for optimized code is described as a concrete example for the application of this approach. A transformation framework is constructed to correctly update the flow information in case of code transformations.

Original languageEnglish
Title of host publicationSoftware and Compilers for Embedded Systems
EditorsA. Krall
PublisherSpringer Nature
Pages298-312
Number of pages15
ISBN (Print)3-540-20145-9
Publication statusPublished - 2003
Event7th International Workshop on Software and Compilers for Embedded Systems - VIENNA
Duration: 24 Sept 200326 Sept 2003

Publication series

NameLecture Notes in Computer Science
Volume2826

Conference

Conference7th International Workshop on Software and Compilers for Embedded Systems
CityVIENNA
Period24/09/0326/09/03

Fingerprint

Dive into the research topics of 'Transformation of meta-information by abstract Co- interpretation'. Together they form a unique fingerprint.

Cite this