| dc.contributor.author | Kirner, Raimund | |
| dc.contributor.author | Puschner, P. | |
| dc.contributor.editor | Krall, A. | |
| dc.date.accessioned | 2016-03-03T12:35:39Z | |
| dc.date.available | 2016-03-03T12:35:39Z | |
| dc.date.issued | 2003 | |
| dc.identifier.citation | Kirner , R & Puschner , P 2003 , Transformation of meta-information by abstract Co- interpretation . in A Krall (ed.) , Software and Compilers for Embedded Systems . Lecture Notes in Computer Science , vol. 2826 , Springer Nature Link , pp. 298-312 , 7th International Workshop on Software and Compilers for Embedded Systems , VIENNA , 24/09/03 . | |
| dc.identifier.citation | conference | |
| dc.identifier.isbn | 3-540-20145-9 | |
| dc.identifier.uri | http://hdl.handle.net/2299/16679 | |
| dc.description.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. | en |
| dc.format.extent | 15 | |
| dc.format.extent | 200455 | |
| dc.language.iso | eng | |
| dc.publisher | Springer Nature Link | |
| dc.relation.ispartof | Software and Compilers for Embedded Systems | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | |
| dc.title | Transformation of meta-information by abstract Co- interpretation | en |
| dc.contributor.institution | Centre for Computer Science and Informatics Research | |
| dc.contributor.institution | Department of Computer Science | |
| dc.contributor.institution | School of Physics, Engineering & Computer Science | |
| dc.contributor.institution | Centre for Future Societies Research | |
| dc.contributor.institution | Cybersecurity and Computing Systems | |
| rioxxterms.type | Other | |
| herts.preservation.rarelyaccessed | true | |
