@inproceedings{c0dc668638984a1ca9e45dc8f6359aa7,
title = "Transformation of meta-information by abstract Co- interpretation",
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.",
author = "Raimund Kirner and P. Puschner",
year = "2003",
language = "English",
isbn = "3-540-20145-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature Link",
pages = "298--312",
editor = "A. Krall",
booktitle = "Software and Compilers for Embedded Systems",
address = "Netherlands",
note = "7th International Workshop on Software and Compilers for Embedded Systems ; Conference date: 24-09-2003 Through 26-09-2003",
}