Towards Accurate Source-Level Annotation of Low-Level Properties Obtained from Optimized Binary Code

Autor(en):

Rosenstiel, Wolfgang; Bringmann, Oliver; Stattelmann, Stefan; Viehl, Alexander

Tübinger Autor(en):

Erschienen in:

Lecture Notes in Electrical Engineering (2012), Bd. , S. 175-190

Verlagsangabe:

Springer

Sprache:

Englisch

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: