Compiler verification meets cross-language linking via data abstraction.

Peng Wang, Santiago Cullar, Adam Chlipala

Browse the full OOPSLA paper archive.