Talks and Poster Presentations (with Proceedings-Entry):
R. Kirner, P. Puschner:
"Transformation of Meta-Information by Abstract Co-Interpretation";
Talk: 7th International Workshop, SCOPES,
Vienna, Austria;
2003-09-24
- 2003-09-26; in: "Proceedings of the 7th International Workshop, SCOPES 2003",
(2003),
298
- 312.
English 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
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404425
Electronic version of the publication:
http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1251&viewmode=paper&year=2003