BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-191228, author = {Kirner, Raimund and Puschner, Peter and Prantl, Adrian}, title = {Transforming Flow Information during Code Optimization for Timing Analysis}, journal = {Real-Time Systems}, year = {2010}, volume = {45}, number = {1-2}, pages = {72--105}, doi = {10.1007/s11241-010-9091-8}, keywords = {Worst-case execution time analysis, Real-time languages, Compiler optimizations, Code transformation, Abstract interpretation, Graph transformation} } 1 Datensatz ausgegeben