The missing link: explaining ELF static linking, semantically.

Stephen Kell, Dominic P. Mulligan, Peter Sewell

Browse the full OOPSLA paper archive.