About this scholarly article

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - Compiler verification meets cross-language linking via data abstraction by Wang, Peng; Cuellar, Santiago; Chlipala, Adam is a scholarly article available to read on EtoBox.

Author

Wang, Peng; Cuellar, Santiago; Chlipala, Adam

Publisher

ACM Press

Published

2014