Lost in Translation: Formalizing Proposed Extensions to C (2007)

by Gavin M. Bierman
Venue:In OOPSLA ’07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object
Citations:30 - 3 self