cfaed Publications
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
Reference
Hendrik Tews, Marcus Völp, Tjark Weber, "On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code" , Proceedings of the Systems Software Verification Conference (SSV), Nov 2012.
Bibtex
@InProceedings{ auto-key*fo,
author = {Hendrik Tews and Marcus Völp and Tjark Weber},
title = {On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code},
booktitle = {Proceedings of the Systems Software Verification Conference (SSV)},
month = nov,
year = {2012},
project = {B04}
}
author = {Hendrik Tews and Marcus Völp and Tjark Weber},
title = {On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code},
booktitle = {Proceedings of the Systems Software Verification Conference (SSV)},
month = nov,
year = {2012},
project = {B04}
}
Downloads
No Downloads available for this publication
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1135