@article{wang2014compiler,
  author = {Wang, Peng and Cuellar, Santiago and Chlipala, Adam},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  journal = {ACM SIGPLAN Notices},
  number = {10},
  pages = {675--690},
  publisher = {ACM New York, NY, USA},
  title = {Compiler verification meets cross-language linking via data abstraction},
  volume = {49},
  year = {2014},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAdcGFwZXJzL3dhbmcyMDE0Y29tcGlsZXItYS5wZGZPEQF+AAAAAAF+AAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8Wd2FuZzIwMTRjb21waWxlci1hLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAMAAAogY3UAAAAAAAAAAAAAAAAABnBhcGVycwACADwvOlVzZXJzOmdhbWJsaW4yOnNyYzpidWlsZC1iaWI6cGFwZXJzOndhbmcyMDE0Y29tcGlsZXItYS5wZGYADgAuABYAdwBhAG4AZwAyADAAMQA0AGMAbwBtAHAAaQBsAGUAcgAtAGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASADpVc2Vycy9nYW1ibGluMi9zcmMvYnVpbGQtYmliL3BhcGVycy93YW5nMjAxNGNvbXBpbGVyLWEucGRmABMAAS8AABUAAgAP//8AAAAIAA0AGgAkAEQAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAABxg==}
}