Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
R. Kirner, P. Puschner:
"Transformation of Meta-Information by Abstract Co-Interpretation";
Vortrag: 7th International Workshop, SCOPES,
Vienna, Austria;
24.09.2003
- 26.09.2003; in: "Proceedings of the 7th International Workshop, SCOPES 2003",
(2003),
S. 298
- 312.
Kurzfassung englisch:
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-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404425
Elektronische Version der Publikation:
http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1251&viewmode=paper&year=2003
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.