KStruct: preserving consistency through C annotations

Alexander Schmidt, Martin von Löwis, Andreas Polze. KStruct: preserving consistency through C annotations. In Gilles Muller, editor, Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009. ACM, 2009. [doi]

Authors

Alexander Schmidt

This author has not been identified. Look up 'Alexander Schmidt' in Google

Martin von Löwis

This author has not been identified. Look up 'Martin von Löwis' in Google

Andreas Polze

This author has not been identified. Look up 'Andreas Polze' in Google